I am a postdoc researcher and assistant professor at the University of A Coruña (Spain). I am a member of the MADS (Models and Applications of Distributed Systems) research group.
I give lectures on Software Architecture, and Software Verification and Validation. My research focuses on software testing (automated, model and property-based testing), applied to software in general, and distributed, concurrent, functional systems in particular.
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).