Aspectos Académicos

• Asignaturas
• Cursos
• Charlas
• PFC
• Tesis

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]