I'm

• Profesor asociado (Associate Lecturer) at the Computer Science Department, University of Corunha
• Co-founder and software engineer at Igalia
• PhD Thesis (Nov 2006): "From software architecture to formal verification of a distributed system" at the MADS Research Group

Research

• Formal methods, formal verification, model checking
• Distributed programming, functional programming
• Software Engineering: eXtreme Programming, design patterns
• Free(dom) Software projects, methodologies and socio-economics

Teaching

• Second semester 2011/2012: User interfaces
• Second semester 2011/2012: Software design
• Second semester 2010/2011: User interfaces
• Second semester 2009/2010: User interfaces
• Second semester 2008/2009: User interfaces
• Second semester 2008/2009: Information Systems Design
• Second semester 2007/2008: Information Systems Design
• First semester 2007/2008: Discrete Mathematics II
• Second semester 2006/2007: Information Systems Design
• First semester 2006/2007: Discrete Mathematics II
• Second semester 2005/2006: Programming Technology
• First semester 2005/2006: Operating Systems I
• First semester 2004/2005: Operating Systems I
• Second semester 2003/2004: Programming Technology
• Second semester 2002/2003: Information and Data structures and Operating Systems I

Member of

• AEIG: Galiza's Association of Computer Science Engineers
• GPUL: Corunha's Computer Science Faculty GNU/Linux Users and Developers Group

More...