Áreas de interés: Programación funcional;
patrones de diseño; sistemas distribuidos, robustos y de alta disponibilidad; fiabilidad; técnicas de
prueba; técnicas de prueba basadas en modelos; técnicas de prueba basadas en propiedades;
técnicas y herramientas de prueba automática.
Docencia: Diseño de Software, Diseño de Sistemas Informáticos, Modelado de Sistemas
Distribuidos y Concurrentes.
