
JESUS JAVIER
DOMENECH ARELLANO
Predoctoral UCM
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.