João F. Ferreira is an associate professor at the Faculty of Engineering, University of Porto, 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.