Departament: Sistemas Informáticos y Computación

Facultat: Informática

Àrea: Llenguatges i Sistemes Informàtics

Correu: rvadovir@ucm.es

Doctor per la Universidad Complutense de Madrid amb la tesi Un esquema de programación lógico-funcional con restricciones marco teórico y aplicación a la depuración declarativa 2009. Dirigida per Dr. Mario Rodríguez Artalejo.