Antonia Lopes
Academic contribution (See all users)

By role

By subject area

Academic Editor

Antonia Lopes


Antónia Lopes is Associate Professor at the University of Lisbon, Portugal, since March 2006.  She received a Ph.D. in Informatics at the University of Lisbon in 1999 and holds a BSc and MSc in Applied Mathematics from Technical University of Lisbon. Her research interests are mainly 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.

Adaptive & Self-Organizing Systems Programming Languages Software Engineering Theory & Formal Methods

Work details

Associate Professor

Faculty of Science, University of Lisbon
Department of Informatics


PeerJ Contributions