Thèses dirigées (4)

  1. Termination analysis of programs with complex control-flow 2021

    Universidad Complutense de Madrid

    Doménech Arellano, Jesús Javier

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

    Universidad Complutense de Madrid

    Gordillo Alguacil, Pablo

  3. De programas abstractos a cotas asintóticas precisas en forma cerrada 2014

    Universidad Complutense de Madrid

    Alonso Blas, Diego Esteban

  4. Termination and cost analysis: Complexity and precision issues 2013

    Universidad Politécnica de Madrid

    Masud, Md. Abu Naser

Jurys de thèses (6)

  1. Rapporteur du jury

    On the use of quasiorders in formal language theory 2020

    Universidad Politécnica de Madrid

    Valero Mejía, Pedro

  2. Rapporteur du jury

    On the security of cache algorithms 2019

    Universidad Politécnica de Madrid

    Cañones Martín, Pablo

  3. Rapporteur du jury

    An Algorithmic Approach for Stability Verification of Hybrid Systems 2017

    Universidad Politécnica de Madrid

    García Soto, Miriam

  4. Un secrétaire du jury

    Automatic program analysis using Max-SMT 2015

    Universitat Politècnica de Catalunya (UPC)

    Larraz Hurtado, Daniel

  5. Rapporteur du jury

    Modular and field-sensitive termination analysis of java bytecode 2011

    Universidad Politécnica de Madrid

    Ramírez Deantes, Diana Vanessa

  6. Un secrétaire du jury

    Análisis y verificación de programas modulares 2008

    Universidad Politécnica de Madrid

    Correas Fernández, Jesús