João F. Ferreira

João F. Ferreira

Computer Scientist

IST, University of Lisbon

INESC-ID, Lisboa


João F. Ferreira is an associate 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.


  • Software Reliability
  • Software Verification
  • Formal Methods applied to Software Engineering
  • Empirical Software Engineering


  • PhD in Computer Science

    University of Nottingham, UK

  • BSc in Mathematics and Computer Science

    Minho University, Portugal

Selected Projects

View all the projects


Executional framework for running analysis tools on smart contracts.

Password Security

Tools and methods to improve password security.

Interactive Narratives

Tools and methods for computer-generated narratives.

FM Education

Tools, methods, and resources that support teaching formal methods.

Recent Posts

View all the posts