ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Saila: Sistemas Informáticos y Computación
Fakultatea: Informática
Eremua: Lengoaia eta Sistema Informatikoak
Ikerketa taldea: Diseño y análisis formal de sistemas de software
E-maila: ariesco@ucm.es
Web-orri pertsonala: https://maude.sip.ucm.es/~adrian/
Doctor por la Universidad Complutense de Madrid con la tesis Depuración declarativa y verificación heterogénea en Maude 2011. Tesiaren zuzendaria Dr. José Alberto Verdejo López, Dr. Narciso Martí Oliet.