Résumé

I am an Assistant Professor at the Department of Informatics Engineering of the University of Coimbra, in Portugal, where I am a member of the Software and Systems Engineering group. In 2004 I graduated in Computer Engineering at the University of Coimbra. I was awarded the Swedish Licentiate degree in 2007 and the Ph.D. degree in 2008, both at Chalmers University of Technology, in Sweden. My main research interests focus on the design of dependable distributed embedded systems, and their assessment by complementing experimental approaches with formal methods. [detailed version]

Publications

Theses

Miscellaneous