I am associate professor at the Department of Informatics  at Faculty of Sciences of University of Lisbon and member of GLOSS research group at Large-Scale Informatics Systems Laboratory.

I received a BSc in Applied Mathematics and Computer Science and a MSc in Applied Mathematics from Technical University of Lisbon (Instituto Superior Técnico) in, respectively, 1991 and 1993, and a PhD in Informatics from University of Lisbon (Faculty of Sciences) in 1999.

My research interests are in the area of formal methods for software engineering. These include mathematically based techniques for the specification, modelling and analysis of various types of software intensive systems, namely service-oriented systems and self-adaptive systems.

I was the PC co-chair of FASE 2007 (Fundamental Approaches to Software Engineering), FMOODS/FORTE 2009 (IFIP International Conference on Formal Techniques for Distributed Systems) and ASAAS 2011 (First Workshop on Assurances for Self-Adaptive Systems). I am member of the Editorial Board of Academic Editors for PeerJ Computer Science.

I was keynote speaker at MEDI 2011 (International Conference on Model & Data Engineering) and ICGT 2012 (International Conference on Graph Transformation). I gave an invited tutorial on Software Architecture at the 2nd Latin-American School on Software Engineering in July 2015.


My publications are available here and also on my DBLP and Google Scholar pages.


ConGu — a tool that determines at run-time whether a Java module (which may include generic classes) behaves as required by a specification. Specifications are property-driven, can be parameterized (by other specifications), and support the specification of ADTs independently of the programming language and programming paradigm.

Research Projects



Current and Recent Activities



mal at di fc ul pt

Departamento de Informática
Faculdade de Ciências da Universidade de Lisboa
Campo Grande 1749-016 Lisboa, Portugal

Office: 6.3.8 (3rd floor of building C6)

Telephone: +351 21 750 0604  Fax: +351 21750 00 84
Internal calls:  26308


Family "publications" on Birdwatching in our garden.