Dr Leo Freitas
Lecturer in Formal Methods & Tools

Introduction

I am interested in formal specification and verification of systems, and used various theorem provers and modelling tools over the years. 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 Interests

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