Tese doutoral

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

    Universidade da Coruña

Teses dirixidas (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

Tribunais de teses (3)

  1. Secretaria do tribunal

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

    Universidade da Coruña

    Suárez Hervella, Álvaro

  2. Vogal do tribunal

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

    Universidad Complutense de Madrid

    SUÁREZ GARCÍA, GORKA

  3. Vogal do tribunal

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

    Universidad Politécnica de Madrid

    Fernández Díaz, Álvaro