Tesis doctoral

  1. Depuración declarativa y verificación heterogénea en Maude 2011

    Universidad Complutense de Madrid

Tribunales de tesis (4)

  1. Secretario del tribunal

    Analysis techniques for software maintenance 2023

    Universitat Politècnica de València

    PÉREZ RUBIO, SERGIO

  2. Vocal del tribunal

    Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020

    Universidad Rey Juan Carlos

    LÓPEZ GONZÁLEZ, JESÚS

  3. Secretario del tribunal

    Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum 2020

    Universidad Complutense de Madrid

    Gordillo Alguacil, Pablo

  4. Secretario del tribunal

    Mapping OCL as a query and constraint language 2017

    Universidad Complutense de Madrid

    DANIA FLORES, CAROLINA INÉS