Cuestións Académicas

• Materias
• Cursos
• Charlas
• PFC
• Tese

Materias actuais

• Deseño Software.
  Grao en Informática (2° curso), 2011/2012 (1° cuatrimestre).
  Facultade de Informática, Universidade da Coruña.
  [Web da materia]
• Deseño de Sistemas Informáticos.
  Enxeñaría en Informática (4° curso), 2011/2012 (2° cuatrimestre).
  Facultade de Informática, Universidade da Coruña.
  [Web da materia]
• Modelado de Sistemas Distribuídos e Concorrentes.
  Mestrado Universitario en Computación e
  Mestrado Universitario en Enxeñaría de Sistemas Informáticos, 2011/2012 (1° cuatrimestre).
  Facultade de Informática, Universidade da Coruña.
  [Web da materia]

Últimos cursos impartidos

• Introducción á edición de texto con LaTeX.
  Aula de Formación Informática (AFI), 13 - 22 de decembro de 2010.
  Facultade de Informática, Universidade da Coruña.
  [Material]

Charlas e seminarios

• Gestión de pruebas en desarrollo software.
  CITIC, Universidade da Coruña. A Coruña, 25 de ouctubro de 2011.
  [Presentación]
• Editing documents with LaTeX.
  Mestrado en desenvolvemento e xestión de proxectos de software libre. Vigo, 4 de marzal de 2011.
  [Presentación]
• Testing database applications with QuickCheck.
  Erlang User Conference. Estocolmo, 15 de novembro de 2010.
  [Resumen] [Presentación]
• Improving software development using Erlang/OTP.
  Erlang Factory. Londres, 10 de xuño de 2010.
  [Resumen] [Presentación] [Video]

Proxectos Fin de Carreira

Proxectos dirixidos:

• Estudo, análise e comparativa de ferramentas de proba automática basaeda en propiedades para a linguaxe Erlang.
  Alumna: Alba Carro Pérez.
  Proxecto Fin de Carreira de Enxeñaría Técnica en Informática de Sistemas.
  A Coruña, 20 de setembro de 2011.
• Ferramenta de verificación de interfaces gráficas de usuario utilizando probas baseadas en propiedades.
  Alumno: David Iglesias Fraga.
  Proxecto Fin de Carreira de Enxeñaría Informática.
  A Coruña, 6 de xullo de 2011.
• Deseño e implementación dun driver nativo para o SXBD SQLite en Erlang/OTP.
  Alumno: Diego Sobradelo Sineiro.
  Proxecto Fin de Carreira de Enxeñaría Informática.
  A Coruña, 6 de xullo de 2011.
• Reenxeñaría de datos no contexto da Xestión de Riscos empregando tecnoloxía funcional distribuída.
  Alumno: Miguel Andrade Vázquez.
  Proxecto Fin de Carreira de Enxeñaría Informática.
  A Coruña, a 20 de xullo de 2010.

Proxecto propio:

• Deseño e implementación de aplicacións empregando programación funcional distribuída: un caso de estudo.
  Proxecto Fin de Carreira de Enxeñaría Informática. Director: Víctor M. Gulías.
  A Coruña, 8 de outubro de 2003.
  [Memoria] [Estilo LaTeX] [Presentación] [Estilo LaTeX]

Tese de Doutoramento

• On the Development Life Cycle of Distributed Functional Applications: a case study.
  Tese de Doutoramento con mención europea. Director: Víctor M. Gulías.
  A Coruña, 16 de abril de 2010.
  [Memoria] [Estilo LaTeX] [Presentación] [Estilo LaTeX]