Registered user since Thu 5 Jan 2017
Name:João F. Ferreira
Bio:
João F. Ferreira is a CS Prof at the Faculty of Engineering, University of Porto and a researcher 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.
Country:Portugal
Affiliation:Faculty of Engineering, University of Porto & INESC-ID
Personal website: https://joaoff.com
X (Twitter): https://x.com/jff
GitHub: https://github.com/jff
Research interests:Software Reliability, Software Verification, Formal Methods, Software Engineering
Contributions
2026
Mining Software Repositories
Using general profile