Áreas de interés: Programación funcional;
patróns de deseño; sistemas distribuídos, robustos e de alta disponibilidade; fiabilidade; técnicas de
proba; técnicas de proba baseadas en modelos; técnicas de proba baseadas en propiedades;
técnicas e ferramentas de proba automática.
Docencia: Deseño Software, Deseño de Sistemas Informáticos, Modelado de Sistemas Distribuídos
e Concorrentes.
