معرفی
Jorge Sousa Pinto is an Associate Professor at the Department of Informatics, University of Minho, and a researcher at HASLab/INESC TEC since 2011. He holds a PhD (2001) from École Polytechnique and a Habilitation (2015) from the University of Minho. His research focuses on deductive program verification, model checking, and formal methods, with contributions to tools like Frama-C and Why3. He co-authored the textbook Rigorous Software Development: an Introduction to Program Verification.
- Education:
- Docteur de L'Ecole Polytechnique (Paris), 2001
- Habilitation, University of Minho, 2015
- Research Interests: Deductive verification, formal methods, dynamic logic, distributed systems, and database application validation.
Recent publications emphasize verification tool development (e.g., Why3-do for distributed systems) and applying formal methods to space software and databases. His work on the AVIACC project highlights contributions to verification frameworks.
No scientific awards explicitly mentioned, but his roles include coordinating major research initiatives and contributing to foundational textbooks.
Advised multiple theses on topics like blockchain systems, Why3 formalizations, and distributed algorithm verification. Collaborates on projects such as DBverify and the Why3 platform.
Associated with the High-Assurance Software Centre at INESC TEC, focusing on software safety and reliability.
