Thesis

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

    Universidade da Coruña

Supervised Theses (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

Theses Committees (3)

  1. Secretary of the Committee

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

    Universidade da Coruña

    Suárez Hervella, Álvaro

  2. Committee Member

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

    Universidad Complutense de Madrid

    SUÁREZ GARCÍA, GORKA

  3. Committee Member

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

    Universidad Politécnica de Madrid

    Fernández Díaz, Álvaro