ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Department: Sistemas Informáticos y Computación
Faculty: Informática
Area: Computer Languages and Systems
Research group: Diseño y análisis formal de sistemas de software
Email: ariesco@ucm.es
Personal web: https://maude.sip.ucm.es/~adrian/
Doctor by the Universidad Complutense de Madrid with the thesis Depuración declarativa y verificación heterogénea en Maude 2011. Supervised by Dr. José Alberto Verdejo López, Dr. Narciso Martí Oliet.