Department: Sistemas Informáticos y Computación

Faculty: Informática

Area: Computer Languages and Systems

Email: rvadovir@ucm.es

Doctor by the Universidad Complutense de Madrid with the thesis Un esquema de programación lógico-funcional con restricciones marco teórico y aplicación a la depuración declarativa 2009. Supervised by Dr. Mario Rodríguez Artalejo.