Research
please wait

Page loading - please wait...

Joao Ferreira

Principal Lecturer (Research & Innovation)

Joao Ferreira

About Joao Ferreira

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 and activities

  • 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 interest and activities

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

Publications

A full list of my publications can be viewed here:

http://joaoff.com/publications/

View Joao Ferreira's Publications on TeesRep

In the news

  • NO SOFT TOUCH
    Computing Security, 02/07/2017:
    Dr Joao Ferreria from Teesside University,for the past 10 years, I've researched mathematical approaches that can improve the current scientific standards in algorithm and software design


  • Together we can make it
    BQ Magazine (web); 05/07/2017
    Mike Hughes heads to Teesside University to hear it is setting new standards for knowledge transfer partnerships.


  • The strongest link?
    Project, 04/07/2017
    Senior Lecturer in Computer Science, Dr Joao Ferreira talks about blockchains in the article.


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