Tribunales de tesis (6)

  1. Vocal del tribunal

    On the use of quasiorders in formal language theory 2020

    Universidad Politécnica de Madrid

    Valero Mejía, Pedro

  2. Vocal del tribunal

    On the security of cache algorithms 2019

    Universidad Politécnica de Madrid

    Cañones Martín, Pablo

  3. Vocal del tribunal

    An Algorithmic Approach for Stability Verification of Hybrid Systems 2017

    Universidad Politécnica de Madrid

    García Soto, Miriam

  4. Secretario del tribunal

    Automatic program analysis using Max-SMT 2015

    Universitat Politècnica de Catalunya (UPC)

    Larraz Hurtado, Daniel

  5. Vocal del tribunal

    Modular and field-sensitive termination analysis of java bytecode 2011

    Universidad Politécnica de Madrid

    Ramírez Deantes, Diana Vanessa

  6. Secretario del tribunal

    Análisis y verificación de programas modulares 2008

    Universidad Politécnica de Madrid

    Correas Fernández, Jesús