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 Principal Lecturer (Research & Innovation) in the School of Computing. His research interests are in software security and reliability. In particular, he is interested 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

  • Software reliability and security (High-assurance software)
  • Blockchain and smart contracts
  • Reliable Software Engineering
  • Mathematical methods and tools for program construction and verification
  • Algorithmic problem solving
  • Programming languages and programming methodology
  • Formal methods

Enterprise interests

  • Software reliability and security (High-assurance software)
  • Blockchain and smart contracts
  • Software Engineering


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.