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. For more details, see selected publications.
PhD in Computer Science
University of Nottingham, UK
BSc in Mathematics and Computer Science
Minho University, Portugal
Executional framework for running analysis tools on smart contracts.
Tools and methods to improve password security.
Tools and methods for computer-generated narratives.
Tools, methods, and resources that support teaching formal methods.