I'm

• Profesor Axudante de Universidade (Assistant Lecturer) at the Computer Science Department, University of Corunha
• 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 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...