ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Tesis doctoral
-
Depuración declarativa y verificación heterogénea en Maude 2011
Universidad Complutense de Madrid
Tribunales de tesis (4)
-
Secretario del tribunal
Analysis techniques for software maintenance 2023Universitat Politècnica de València
PÉREZ RUBIO, SERGIO
-
Vocal del tribunal
Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020Universidad Rey Juan Carlos
LÓPEZ GONZÁLEZ, JESÚS
-
Secretario del tribunal
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum 2020Universidad Complutense de Madrid
-
Secretario del tribunal
Mapping OCL as a query and constraint language 2017Universidad Complutense de Madrid
DANIA FLORES, CAROLINA INÉS