Cuestións Académicas
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]




