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

Research interests:Software Reliability, Software Verification, Formal Methods, Software Engineering