Full Professor in Computer Science
(Catedrático de Universidad)
I have recently moved to the Universidad Complutense de Madrid (UCM)
Old affiliation:
Available termination tools and problems.
My on-line papers are here.
Research events I'm involved in.