Tesis doctoral

  1. On the development life cycle of distributed functional applicationsa case study 2010

    Universidade da Coruña

Tesis dirigidas (2)

  1. Profiling of parallel programs in a non-strict functional language 2016

    Universidade da Coruña

    Ferreiro, Henrique

  2. Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software 2015

    Universidade da Coruña

    Francisco Fernández, Miguel Ángel

Tribunales de tesis (3)

  1. Secretaria del tribunal

    Deep Learning Techniques for Automated Analysis and Processing of High Resolution Medical Imaging 2022

    Universidade da Coruña

    Suárez Hervella, Álvaro

  2. Vocal del tribunal

    Análisis estático de tipos para lenguajes de tipado dinámico 2022

    Universidad Complutense de Madrid

    SUÁREZ GARCÍA, GORKA

  3. Vocal del tribunal

    Ejason: a framework for distributed and fault-tolerant multi-agent systems 2018

    Universidad Politécnica de Madrid

    Fernández Díaz, Álvaro