João F. Ferreira

João F. Ferreira

Computer Scientist

IST, University of Lisbon

INESC-ID, Lisboa

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.


  • Software Reliability
  • Software Verification
  • Formal Methods applied to Software Engineering
  • Interactive Storytelling


  • PhD in Computer Science

    University of Nottingham, UK

  • BSc in Mathematics and Computer Science

    Minho University, Portugal