Tesis dirigidas (1)

  1. Estabilidad transversal de gérmenes representables infinitesimalmente 1996

    Universidade de Santiago de Compostela

    San Luis Fernández, Ana María

Tribunales de tesis (4)

  1. Vocal del tribunal

    Bases de Göbner: desarrollo formal en coq 2005

    Universidade da Coruña

    Pérez, Gilberto

  2. Vocal del tribunal

    Funciones de orden superior en programación funcional: una perspectiva categórica 2003

    Universidade da Coruña

    FREIRE BRAÑAS JOSÉ ENRIQUE

  3. Vocal del tribunal

    Grupos categóricos simétricos: cohomología y extensiones 2001

    Universidad de Granada

    Martínez Moreno, Juan

  4. Vocal del tribunal

    Construcciones en topos que extienden relaciones entre categorías de espacios topológicos y bornológicos 1989

    Universidad de Zaragoza

    Lambán Pardo, Laureano