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 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. 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