Our paper on GLITCH was accepted at ASE 2022!
I will be one of the conference proceedings chairs at ICSE 2024. The first submission deadline is in March 2023!
Two new papers on SmartBugs accepted to be presented at ICSE 2020 and ASE 2020.
In collaboration with Tony Hoare and Alexandra Mendes. Presented at FMTea 2019.
I am always looking for new talented research students and post-doc researchers. Join me in beautiful Lisbon!
João F. Ferreira is an associate professor at IST, University of Lisbon, and a researcher at INESC-ID. His research is on mathematical approaches to software quality, with emphasis on program construction and verification. For more details, see selected publications.
PhD in Computer Science
University of Nottingham, UK
BSc in Mathematics and Computer Science
Minho University, Portugal