JESÚS JAVIER
DOMENECH ARELLANO
Predoctoral
Departament: Sistemas Informáticos y Computación
Facultat: Informática
Àrea: Llenguatges i Sistemes Informàtics
Correu: jdomenec@ucm.es
Doctor per la Universidad Complutense de Madrid amb la tesi Termination analysis of programs with complex control-flow 2021. Dirigida per Dr. Samir Genaim.