معرفی
Maria João Frade is an Assistant Professor at the Department of Informatics of the University of Minho and a Senior Researcher at HASLab/INESC TEC. She holds a PhD in Computer Science from the University of Minho (2004). Her research focuses on formal methods, program verification, type systems, and logic, with contributions to foundational aspects of program logics and verification tool certification.
Education:
- PhD in Computer Science, University of Minho (2004)
Research Interests:
- Formal verification techniques
- Dynamic and Hoare logics
- Verification condition generation
- Program analysis and transformation
Publications: Recent work includes studies on lambda-calculus naturality, dynamic logic-based VCGen verification, and generalized program verification frameworks. These contributions highlight advancements in foundational aspects of program verification methodologies.
Advising: Supervised theses include work on Why3 formalizations (2022), single-assignment program transformations (2016), and test generation platforms (2018).
Labs/Teams: Active member of HASLab/INESC TEC, collaborating on high-assurance software systems research.
