Centre for Synthetic Biology and the Bioeconomy

Staff Profile

Dr Leo Freitas

Lecturer in Formal Methods & Tools



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.