Office: 6.3.16 (3rd floor of building C6) Internal calls: extension 26316
Telephone: 351-21-7500604 Fax: 351-21-7500084
Electronic address: mal at di fc ul pt
- Formalisms and Methods for System Specification and Verification
- Foundations of Software Architectures and Coordination
- Category Theory as a mathematical framework for the formalisation of notions and principles that are important for Software Engineering
Projects (current and old):
- ADAAS (Assuring Dependability in Architecture-based Adaptive Systems), November 2010-November 2013. FCT, CMU|Portugal.
- QUEST (Quest for Reliability on Generic Software Components), January 2010-December 2012. FCT.
- Assertion-types for Object-oriented Programming, January 2010-December 2011. FCT.
- Redico (Dynamic Reconfiguration of Communication Protocols), December 2007-December 2010. FCT.
- SENSORIA (Software Engineering for Service-oriented Overlay Computers), September 2005-August 2009. EC.
- MICAS (Middleware for Context-aware and Adaptative Systems), March 2005-February 2008. FCT (POSI)
- Design by Contract (Contract Guided System Development), June 2004-May 2006. FCT (POSI)
- AGILE (Architectures for Mobility), January 2002-March 2005. FET Global Computing.
- FAST (Formal Approach to Software Architecture), July 2000-June 2003. FCT (PRAXIS).
- ACL (Algebraic Combination of Logics), September 1997-November 1999. FCT (PRAXIS)
- RENOIR (Requirements Engineering Network of International Cooperating Research Groups)
Saber não ocupa lugar?: Extremos Opostos
Travelling to Lisbon?: Look here!
A book proposing a heretical interpretation of special relativity. For those who like to be challenged...
The supreme art @ comics world! Para deleite da imaginação e do olhar...
His music is hypnotic and live performances are magic. When he plays, the piano just seems to become a living thing...
Thanks are due to my son (&sun) André for the flowers and Mário Figueiredo for the photo.