João F. Ferreira is an associate professor at IST, University of Lisbon, and a researcher at INESC-ID. He co-leads the Software Reliability Lab. He coordinates the Automated Reasoning and Software Reliability area at INESC-ID. His work spans from empirical software engineering methods that can inform practitioners and direct future research, to formal methods that can verify the absence of certain types of bugs. For more details, see selected publications.
Our paper “Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification” has received an ACM SIGSOFT Distinguished Paper Award at ICSE 2025.
I am very pleased to announce that we secured funding for the InfraGov project, a new research project funded to address critical challenges in the reliability and security of Infrastructure as Code (IaC) used in Public Administration.
Methods and tools for reliable infrastructure as code.
Executional framework for running analysis tools on smart contracts.
Tools and methods to improve password security.
Tools and methods for computer-generated narratives.
Tools, methods, and resources that support teaching formal methods.
Our paper “Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification” has received an ACM SIGSOFT Distinguished Paper Award at ICSE 2025.
I am very pleased to announce that we secured funding for the InfraGov project, a new research project funded to address critical challenges in the reliability and security of Infrastructure as Code (IaC) used in Public Administration.