Contributions by role
Contributions by subject area
Antonia Lopes
Summary
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