School of Computing Science

Staff Profiles

Dr Leo Freitas

Lecturer in Formal Methods & Tools

Background

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

Research Interests

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

Publications