I am an assistant professor at the University of A Coruña (Spain), where I have been teaching since 2005. At the moment, I give lectures on Software Architecture, and Software Verification and Validation.
My research focuses nowadays mainly on software testing (automated, model and property-based testing), applied to software in general, and distributed, concurrent, functional systems in particular. I am a member of the MADS (Models and Applications of Distributed Systems) research group.
Also, I am responsible for the Distributed Systems and Service-Oriented Architectures research area at the CITIC (ITC Research Centre at University of A Coruña).