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.