Department: Sistemas Informáticos y Computación

Faculty: Informática

Area: Computer Languages and Systems

Email: jdomenec@ucm.es

Doctor by the Universidad Complutense de Madrid with the thesis Termination analysis of programs with complex control-flow 2021. Supervised by Dr. Samir Genaim.