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.
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.
May 2016 - April 2019. FCT.
Jan - Dez 2015. FCT, CMU|Portugal.
November 2010-May 2014. FCT, CMU|Portugal.
January 2010-July 2013. FCT.
January 2010-December 2011. FCT.
December 2007-December 2010. FCT.
September 2005-April 2010. IP, FP6, Global Computing Initiative.
March 2005-February 2008. FCT (POSI).
June 2004-May 2006. FCT (POSI).
January 2002-March 2005. FP5, IST, FET, Global Computing Initiative.
July 2000-June 2003. FCT (PRAXIS).
September 1997-November 1999. FCT (PRAXIS).
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.