Teaching

I coordinate and teach these courses:

Software Architecture

Compulsory subject for 3rd-year students of the Degree in Computer Engineering at University of A Coruña with a concentration on Software Engineering. Elective subject for 4th-year students of the same degree with a concentration on Computer Science.

Software Validation and Verification

Compulsory subject for 4th-year students of the Degree in Computer Engineering at University of A Coruña with a concentration on Software Engineering. Elective subject for 4th-year students of the same degree with a concentration on Computer Science.

If you’re a student and are on the look for a supervisor for your degree, masters or PhD project, and you’d like to work with BEAM technologies (Erlang, Elixir, Gleam…), or in test automation, or distributed systems, get in touch.

Do so too if you’re interested in transversal aspects of technology, such as social networks, software societal impact, or free software!

These are some examples of student projects I've supervised in recent years:

2025

Diseño del núcleo de una arquitectura microkernel para el software de análisis de datos Ipanema y refactorización de los módulos de cálculo para su nuevo SDK
Fernández Fernández, Gabriel Alejandro. Mestrado Universitario en Enxeñaría Informática. URI

Aplicación móvil para la valoración de baños
Rodríguez Pache, Noa. Grao en Enxeñaría Informática. URI

Análise de toxicidade en contas galegas de Instagram: desenvolvemento dun sistema de detección
Molina Muñiz, Beatriz. Grao en Enxeñaría Informática. URI

2024

Sala de estudio Pomoroom, espacio digital para la concentración
Arce Ale, Eva María. Grao en Enxeñaría Informática. URI

Combatendo a discriminación e os delitos de odio coa palabra: un chatbot asistencial
González Trillo, Cristian. Grao en Enxeñaría Informática. URI

Corporate Cash Flow Management approximation using Open Banking: backend development
García Martínez, Francisco Adrián. Grao en Enxeñaría Informática. URI

Web application for the exploitation of generative technologies
García López, Diego. Grao en Enxeñaría Informática. URI

CoWtrol: Aplicación multiplataforma para a xestión centralizada do stock, montaxe e envíos en empresas
Freire Ares, Álvaro. Grao en Enxeñaría Informática. URI

SU2-US: Simplificando a aerodinámica cunha aplicación web de código aberto
Cibeira Pousa, Brais. Grao en Enxeñaría Informática. URI

Corporate Cash Flow Management approximation using Open Banking: frontend development
Azpilcueta Rabuñal, Martín. Grao en Enxeñaría Informática. URI

Análise, deseño e desenvolvemento de Ascents, unha rede social especializada en escalada
Alonso Ferreira, Carlos. Grao en Enxeñaría Informática. URI

Herramienta para la comparación de artículos periodísticos mediante el uso de web scraping
Fanjul Sánchez, Adolfo. Grao en Enxeñaría Informática. URI

Design and documentation environment for Phoenix project generation templates
Aceves Gil, Beltrán José. Grao en Enxeñaría Informática. URI

2023

Design-first framework for REST API development in Erlang
Garea Cidre, Javier. Mestrado Universitario en Enxeñaría Informática. URI

Software libre para la comunicación entre productoras y consumidoras de productos frescos de proximidad
Vázquez Fernández, Diego. Grao en Enxeñaría Informática. URI

Patrones AIS de transporte: detección de irregularidades en redes complejas
Seoane González, Diego. Grao en Enxeñaría Informática. URI

Reenxeñaría dun programa de pesado de colorantes
López Schmidt, Gabriel Alejandro. Grao en Enxeñaría Informática. URI

Sistema de Gestión del Conocimiento de una consultora IT basado en definiciones taxonómicas de la tecnología
García Maciñeiras, Adrián. Grao en Enxeñaría Informática. URI

Aplicación web para fact-checking e loita contra a desinformación
Conles Ferro, Antía. Grao en Enxeñaría Informática. URI

Amosando o Lado Escuro das redes sociais: desenvolvemento do primeiro corpus en lingua galega para a detección de misoxinia en Twitter e Mastodon
Álvarez Crespo, Lucía María. Grao en Enxeñaría Informática. URI

2022

Transcripción de audio a texto para mensajería instantánea
Pereira Carballo, Alejandro. Grao en Enxeñaría Informática. URI

Comparativa de herramientas de pruebas basadas en propiedades para el lenguaje Python
Fernández González, Jorge. Grao en Enxeñaría Informática. URI

Aplicación para a xestión de tickets online
Pérez Busto, Brais. Grao en Enxeñaría Informática. URI

Aplicación móbil para o ensino interactivo no proxecto Semente
Mahía Corral, Adrián. Grao en Enxeñaría Informática. URI

Librería de pruebas de seguridad para programas en Elixir
Golpe Criado, Antonio Agustín. Grao en Enxeñaría Informática. URI

Lenguaje de programación funcional ejecutable sobre una máquina virtual propia
Ferro Sastre, Eduardo Javier. Grao en Enxeñaría Informática. URI

2021

Aplicación web de predicción de rutas con modelos de aprendizaje profundo
Sánchez Campello, Gabriel. Grao en Enxeñaría Informática. URI

Aplicación web altamente escalable para un xogo de dedución social
Valcárcel Barbeito, Diego. Grao en Enxeñaría Informática. URI

Desarrollo del broker AXUDOT para resolución automatizada de solicitudes de autoservicio mediante fuerza de trabajo robótica
González Dopico, Iván. Grao en Enxeñaría Informática. URI

2020

Integración de un sistema de reglas en un sistema SCADA distribuido
Sardina Pereira, Jorge. Grao en Enxeñaría Informática. URI

Extending a property-based testing tool with parallel and distributed execution
Costas Sánchez, Pablo. Grao en Enxeñaría Informática. URI

Desarrollo de un sistema de inteligencia de negocio aplicado a la gestión de viajes
Rodríguez Silva, Laura. Grao en Enxeñaría Informática. URI

Aplicación para la gestión de los vehículos y sus reparaciones en un taller
Cotelo Garrido, Noelia. Grao en Enxeñaría Informática. URI

NetStage : Web application for music event comparison and management
Rodríguez Lado, Susana. Grao en Enxeñaría Informática. URI