Scholar
João F. Ferreira
Google Scholar ID: WurhenEAAAAJ
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Citations & Impact
Citations
1,393
H-index
14
i10-index
23
Publications
20
Co-authors
23
list available
Publications
Resume (English only)
Academic Achievements
- Awarded an Amazon Research Award on 'Polyglot Automated Program Repair for Infrastructure as Code'.
- ICSE 2025 paper 'Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification' won an ACM SIGSOFT Distinguished Paper award.
- ISSTA 2025 tool demonstration paper 'InfraFix: Technology-Agnostic Repair of Infrastructure as Code'.
- Published a study 'Do Experts Agree About Smelly Infrastructure?' in IEEE Transactions on Software Engineering (2025).
- Two new papers on SmartBugs 2.0 published at ASE 2023 and EMSE 2024.
- ICSE 2020 paper is the most cited according to 2025 Scholar Metrics.
Research Experience
- Conducts research at the Faculty of Engineering, University of Porto, and INESC-ID. Leads the Software Reliability Lab.
Education
- Associate Professor at the Faculty of Engineering, University of Porto, and a researcher at INESC-ID. He coordinates the Automated Reasoning and Software Reliability area at INESC-ID.
Background
- Computer Scientist, co-leads the Software Reliability Lab. His work spans from empirical software engineering methods to formal methods that can verify the absence of certain types of bugs.
Miscellany
- Looking for new talented research students and post-doc researchers to join his team in Lisbon.
