
JESÚS JAVIER
DOMENECH ARELLANO
Researcher in the period 2019-2021
Doctor by the Universidad Complutense de Madrid with the thesis Termination analysis of programs with complex control-flow 2021. Supervised by Dr. Samir Genaim.