Antónia Lopes

Contacts

Address: Department of Informatics, Faculty of Sciences, University of Lisbon, Campo Grande, 1749-016 Lisboa, Portugal

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

Positions

• Associate Professor, Department of Informatics, Faculty of Sciences, University of Lisbon
• Member of the research group GLOSS at the research unit LASIGE (Large-Scale Informatics Systems Laboratory)

Degrees

• BSc in Applied Mathematics and Computer Science, Technical University of Lisbon (Faculty of Engineering), July 1991.
• MSc in Applied Mathematics, Technical University of Lisbon, November 1993.
• PhD in Informatics, University of Lisbon (Faculty of Sciences), June 1999. Supervisor: José Luiz Fiadeiro.

Research

• Main interests:

• 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)

• Students:
• André L. Santos (PhD, Sept. 2004 - March 2009)
• Liliana Rosa (PhD, Sept. 2007 - Nov. 2012)

• Events:
  • SEAA 2012 (MOCS track) : 38th EUROMICRO Conf on Software Engineering and Advanced Applications (member of pc)
  • WICSA/ECSA 2012: Joint Working IEEE/IFIP Conf on Software Architecture 2012 & European Conf on Software Architecture 2012 (member of pc)
  • SEFM 2012: 10th IEEE Int Conf on Software Engineering and Formal Methods (member of pc)
  • FMOODS/FORTE 2012: IFIP Int Conf on Formal Techniques for Distributed Systems (member of pc)
  • FormSERA 2012: Formal Methods in Software Engineering: Rigorous and Agile Approaches Workshop (member of pc)
  • ASAAS 2011: First Workshop on Assurances for Self-Adaptive Systems (ASAS 2011)@ ESEC/FSE 2011 (workshop organizer and member of pc)
  • INFORUM 2011 SOFT-PT: Science and Software Engineering Track at 3rd Portuguese Informatics Symposium (track chair)
  • SEAA 2011 (MOCS track): 37th EUROMICRO Conf on Software Engineering and Advanced Applications (member of pc)
  • SEFM 2011: 9th IEEE Int Conf on Software Engineering and Formal Methods (member of pc)
  • WICSA 2011: 9th Working IEEE/IFIP Conf on Software Architecture (member of pc)
  • ECSA 2010: 4rd European Conf on Software Architecture (member of pc)
  • SEFM 2010: 8th IEEE Int Conf on Software Engineering and Formal Methods (member of pc)
  • FMOODS/FORTE 2010: IFIP Int Conf on Formal Techniques for Distributed Systems (member of pc and publicity chair)
  • INFORUM 2010 SOFT-PT: Science and Software Engineering Track at 3rd Portuguese Informatics Symposium (member of pc)
  • WICSA/ECSA 2009: Joint Working IEEE/IFIP Conf on Software Architecture 2009 & European Conf on Software Architecture 2009 (member of pc)
  • FMOODS/FORTE 2009: IFIP Int Conf on Formal Techniques for Distributed Systems (co-chair of pc)
  • Autonomics 2008: 2nd Int Conf on Autonomic Computing and Communication Systems (member of pc)
  • ECSA 2008: 2nd European Conf on Software Architecture (member of pc)
  • FASE 2008: Fundamental Approaches to Software Engineering (member of pc)
  • FMOODS 2008: 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (member of pc)
  • ECSA 2007: 1st European Conference on Software Architecture (member of pc)
  • FASE 2007: Fundamental Approaches to Software Engineering (co-chair of pc)
  • JISBD 2006: XI Jornadas de Engenharia de Software e Bases de Dados (member of pc)
  • EWSA 2006 : European Workshop on Software Architectures (member of pc)
  • FOCLASA 2006 : 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (member of pc)
  • SET 2006 : IFIP Working Conference on Software Engineering Techniques (member of pc)
  • ICTAC 2006: International Colloquium on Theoretical Aspects of Computing (member of pc)
  • AMAST 2006: Algebraic Methodology and Software Technology (member of pc)
  • FASE 2006: Fundamental Approaches to Software Engineering (member of pc)
  • ICTAC 2005: International Colloquium on Theoretical Aspects of Computing (member of pc)
  • JISBD 2005: X Jornadas de Engenharia de Software e Bases de Dados (member of pc)
  • FACS 2005: 2nd Workshop on Formal Aspects of Component Software (member of pc)
  • FOCLASA 2005: 4th International Workshop on Foundations of Coordination languages and Software Architectures (member of pc)
  • ESEC 2005/FSE13: 5th joint meeting of the European Software Engineering Conference/ACM SIGSOFT Symposium on the Foundations of Software Engineering (Local Arrangements Chair)
  • FASE 2005: Fundamental Approaches to Software Engineering (member of pc)
  • FOCLASA 2004: 3rd International Workshop on Foundations of Coordination languages and Software Architectures (member of pc)
  • JISBD 2004: IX Jornadas de Engenharia de Software e Bases de Dados (member of pc)
  • AMAST 2004: 10th International Conference on Algebraic Methodology and Software Technology (member of pc)
  • IASSE 2004: 13th International Conference on Intelligent & Adaptive Systems, and Software Engineering (member of pc)
  • FASE 2004: Fundamental Approaches to Software Engineering (member of pc)
  • COORDINATION 2004: Sixth International Conference on Coordination Models and Languages (member of pc)
  • JISBD 2003: VIII Jornadas de Engenharia de Software e Bases de Dados (member of pc)
  • CeNPL: Concurso/Encontro Nacional de Programação em Lógica

Other

• Web

       Saber não ocupa lugar?: Extremos Opostos

       Travelling to Lisbon?: Look here!

• Book

Relativity Einstein's Lost Frame

A book proposing a heretical interpretation of special relativity. For those who like to be challenged...

• Comics

Neil Gaiman

The supreme art @ comics world! Para deleite da imaginação e do olhar...

• Music

Brad Mehldau

His music is hypnotic and live performances are magic. When he plays, the piano just seems to become a living thing...