Centre for Software Reliability

Staff Profile

Dr Leo Freitas

Senior Lecturer

Background

Introduction

I am interested in formal specification and verification of critical systems. In particular, the use of theorem provers and modelling tools. I also participate in the Grand Challenge in Software Verification. 

Since 2014, I've been involved in the dependability and design of safety critical medical devices. 

Research

Research Interests

Formal specification and verification of systems through theorem proving and model checking.

Publications