
Registered user since Thu 5 Jan 2017
Name: João F. Ferreira
Bio: João F. Ferreira is an assistant 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.
Country: Portugal
Affiliation: INESC-ID and IST, University of Lisbon
Personal website: https://joaoff.com
Research interests: Software Reliability, Software Verification, Formal Methods, Software Engineering
Contributions
ASE 2020 | Author of SmartBugs: A Framework to Analyze Solidity Smart Contracts within the Tool Demonstrations-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2020-profile
View general profile
View general profile