Academic Information

• Subjects
• Courses
• Conferences
• Master Degree
• PhD Thesis

Current teaching

• Software Design.
  Degree in Computer Engineering (2nd year), 2011/2012 (1st semester).
  Faculty of Computer Science, Universidade da Coruña.
  [Website]
• Design of Computer Systems.
  Computer Engineering (4th year), 2011/2012 (2nd semester).
  Faculty of Computer Science, Universidade da Coruña.
  [Website]
• Models of Distributed and Concurrent Systems.
  Masters in Computer Science and
  Masters in Computer Systems Engineering, 2011/2012 (1st semester).
  Faculty of Computer Science, Universidade da Coruña.
  [Website]

Most recent courses

• Introducción a la edición de textos con LaTeX.
  Aula de Formación Informática (AFI). December 13th - 22nd, 2010.
  Faculty of Computer Science, University of A Coruña.
  [Material]

Talks and seminars

• Gestión de pruebas en desarrollo software.
  CITIC, Universidade da Coruña. A Coruña, October 25th, 2011.
  [Slides]
• Editing documents with LaTeX.
  Masters in development and management of free software projects. Vigo, March 4th, 2011.
  [Slides]
• Testing database applications with QuickCheck.
  Erlang User Conference. Stockholm, November 15th, 2010.
  [Abstract] [Slides]
• Improving software development using Erlang/OTP.
  Erlang Factory. London, June 10th, 2010.
  [Abstract] [Slides] [Video]

Master Degree Thesis

Supervised thesis:

• Study, analysis, and comparative of property-based automatic testing tools for the Erlang language.
  Student: Alba Carro Pérez.
  Master Thesis for Technical Engineering in Computer Systems.
  A Coruña, September 20th, 2011.
• Verification tool for graphical user interfaces, using property-based testing.
  Student: David Iglesias Fraga.
  Master Thesis for Computer Engineering.
  A Coruña, July 6th, 2011.
• Design and implementation of an Erlang/OTP native driver for SQLite DBMS.
  Student: Diego Sobradelo Sineiro.
  Master Thesis for Computer Engineering..
  A Coruña, July 6th, 2011.
• Data re-engineering in Risk Management using Distributed Functional Technology.
  Student: Miguel Andrade Vázquez.
  Master Thesis for Computer Engineering.
  A Coruña, July 20th, 2010.

Own thesis:

• Design and Implementation of applications using distributed functional programming: a case study.
  Master Thesis for Computer Engineering. Supervisor: Víctor M. Gulías.
  A Coruña, October 8th, 2003.
  [Report] [LaTeX style] [Slides] [LaTeX style]

PhD Thesis

• On the Development Life Cycle of Distributed Functional Applications: a case study.
  PhD Thesis with European consideration. Supervisor: Víctor M. Gulías.
  A Coruña, April 16th, 2010.
  [Dissertation] [LaTeX style] [Slides] [LaTeX style]