Aspectos Académicos
Asignaturas actuales
- Diseño de Software.
Grado en Informática (2° curso), 2011/2012 (1° cuatrimestre).
Facultad de Informática, Universidade da Coruña.
[Web de la asignatura] - Diseño de Sistemas Informáticos.
Ingeniería en Informática (4° curso), 2011/2012 (2° cuatrimestre).
Facultad de Informática, Universidade da Coruña.
[Web de la asignatura] - Modelado de Sistemas Distribuidos y Concurrentes.
Máster Universitario en Computación y
Máster Universitario en Ingeniería de Sistemas Informáticos, 2011/2012 (1° cuatrimestre).
Facultad de Informática, Universidade da Coruña.
[Web de la asignatura]
Últimos cursos impartidos
- Introducción a la edición de textos con LaTeX.
Aula de Formación Informática (AFI), 13 - 22 de Diciembre de 2010.
Facultad de Informática, Universidade da Coruña.
[Material]
Charlas y seminarios
- Gestión de pruebas en desarrollo software.
CITIC, Universidade da Coruña. A Coruña, 25 de Octubre de 2011.
[Transparencias] - Editing documents with LaTeX.
Máster en desarrollo y gestión de proyectos de software libre. Vigo, 4 de Marzo de 2011.
[Transparencias] - Testing database applications with QuickCheck.
Erlang User Conference. Estocolmo, 15 de Noviembre de 2010.
[Resumen] [Transparencias] - Improving software development using Erlang/OTP.
Erlang Factory. Londres, 10 de Junio de 2010.
[Resumen] [Transparencias] [Vídeo]
Proyectos Fin de Carrera
Proyectos dirigidos:
- Estudio, análisis y comparativa de herramientas de prueba automática basada en propiedades para el lenguaje Erlang.
Alumna: Alba Carro Pérez.
Proyecto Fin de Carrera de Ingeniería Técnica en Informática de Sistemas.
A Coruña, 20 de Septiembre de 2011. - Herramienta de verificación de interfaces gráficas de usuario utilizando pruebas basadas en propiedades.
Alumno: David Iglesias Fraga.
Proyecto Fin de Carrera de Ingeniería Informática.
A Coruña, 6 de Julio de 2011. - Diseño e implementación de un driver nativo para el SGDB SQLite en Erlang/OTP.
Alumno: Diego Sobradelo Sineiro.
Proyecto Fin de Carrera de Ingeniería Informática.
A Coruña, 6 de Julio de 2011. - Reingeniería de Datos en el contexto de la Gestión de Riesgos utilizando Tecnología Funcional Distribuida.
Alumno: Miguel Andrade Vázquez.
Proyecto Fin de Carrera de Ingeniería Informática.
A Coruña, 20 de Julio de 2010.
Proyecto propio:
- Diseño e Implementación de Aplicaciones utilizando Programación Funcional Distribuida: un caso de estudio.
Proyecto Fin de Carrera de Ingenierķa Informática. Tutor & Director: Víctor M. Gulías.
A Coruña, 8 de Octubre de 2003.
[Memoria] [Estilo LaTeX] [Transparencias] [Estilo LaTeX]
Tesis Doctoral
- On the Development Life Cycle of Distributed Functional Applications: a case study.
Tesis Doctoral con mención europea. Director: Víctor M. Gulías.
A Coruña, 16 de abril de 2010.
[Memoria] [Estilo LaTeX] [Transparencias] [Estilo LaTeX]




