Antónia Lopes is Associate Professor in the Department of Informatics of the University of Lisbon, Faculty of Science, Portugal, since March 2006. She received a Ph.D. in Informatics at the University of Lisbon in 1999. Her 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.

She is a member of the Editorial Board of ACM TOSEM (Transactions on Software Engineering and Methodology) and the Board of Academic Editors of PeerJ Computer Science. She is, or has been, a member of the Steering Committees for the international conferences such as ECSA, FASE, FMOODS/FORTE. She was the program committee co-chair of International Conference on Fundamental Approaches to Software Engineering 2007 (FASE 2007), the 11th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009) and ASAAS 2011 (First Workshop on Assurances for Self-Adaptive Systems) and program committee chair of European Conference on Software Architecture 20017 (ECSA 2017).

She was keynote speaker at MEDI 2011 (International Conference on Model & Data Engineering), ICGT 2012 (International Conference on Graph Transformation) and IMM 2016 (Iberian Mathematical Meeting), She gave an invited tutorial on Software Architecture at the 2nd Latin-American School on Software Engineering in July 2015 and a course on Software Reliability Methods at ECI 2018 in July 2018.

Métodos Formais para a Engenharia de Software; Design e Arquitectura de Software

Formal Methods for Software Engineering; Software Architecture and Design