Doctor by the Universidad Complutense de Madrid with the thesis Termination analysis of programs with complex control-flow 2021. Supervised by Dr. Samir Genaim.