João F. Ferreira

Unit Automated Reasoning and Software Reliability (ARSR) Role Researcher Affiliation Instituto Superior Técnico Degree Doutoramento ORCID https://orcid.org/0000-0002-6612-9013 Main Interests Software Engineering, Software Quality, Software Verification, Software Validation, Formal Methods Phone 213100314 (Portugal +351) Extension 2314 Room 334 Email jff(at)inesc-id.pt Personal Page https://joaoff.com/