ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Fachbereich: Sistemas Informáticos y Computación
Fakultät: Informática
Bereich: Computersprachen und Computersysteme
Forschungsgruppe: Diseño y análisis formal de sistemas de software
Email: ariesco@ucm.es
Persönliche Website: https://maude.sip.ucm.es/~adrian/
Doktor von der Universidad Complutense de Madrid mit der Dissertation Depuración declarativa y verificación heterogénea en Maude 2011. unter der Leitung von Dr. José Alberto Verdejo López, Dr. Narciso Martí Oliet.