Department: Sistemas Informáticos y Computación

Faculty: Ciencias Matemáticas

Area: Computer Languages and Systems

Email: jesusesc@ucm.es

Doctor by the Universidad Complutense de Madrid with the thesis Trivialidad definible de familias de aplicaciones definibles en estructuras o-minimales 2000. Supervised by Dr. Jesús María Ruiz Sancho, Dr. Michel Coste.