JESÚS JAVIER
DOMENECH ARELLANO
Predoctoral
Département: Sistemas Informáticos y Computación
Faculté: Informática
Domaine: Lenguajes y Sistemas Informáticos
Email: jdomenec@ucm.es
Docteur à l Universidad Complutense de Madrid avec la thèse Termination analysis of programs with complex control-flow 2021. Dirigée par Dr. Samir Genaim.