please wait

Page loading - please wait...

Joao Ferreira

01642 342654
Job title:
Principal Lecturer (Research & Innovation)
School of Computing
Research institute:
Digital Futures Institute

About Joao Ferreira

Joao Ferreira

Joao Ferreira
Principal Lecturer (Research & Innovation), School of Computing
T: 01642 342654
Research institute: Digital Futures Institute

João is a Senior Lecturer in the School of Computing. His research interests are in mathematical methods for program construction and verification. He aims at using formal methods to certify critical systems and to help transfer the resulting scientific knowledge to industry, so that all society can benefit from safer systems.

João finished his PhD in Computer Science at the University of Nottingham in 2010. His thesis was on algorithmic problem solving, an area in which he stills works on. João is a member of the Digital Futures Institute and of the High Assurance Software Laboratory (HASLab – INESC TEC Privileged Partner).

Research interests

  • Mathematical methods and tools for program construction and verification
  • Algorithmic problem solving
  • Programming languages
  • Programming methodology
  • Formal methods

Enterprise interests

  • Software Engineering
  • High-assurance software and functional safety


A full list of my publications can be viewed here:

View Joao Ferreira's Publications on TeesRep

In the news

  • No Soft Touch
    Computing Security, 2/11/2016
    Dr Joao Ferreira talks about computer technology.

  • Securing Mind-Hacking Virtual Worlds: The VR Security Chimera
    Computer Business Review, 27/10/2016
    Teesside University lecturer Joao Ferreira tlaks about The VR Security Chimera.

  • Euro 2016
    BBC Radio Tees, 11/07/2016
    Joao Ferreira, Teesside University lecturer discusses Euro 2016.