Dr Leo Freitas

• Senior Lecturer School of Computing
• Email: leo.freitas@ncl.ac.uk
• Named Investigator

Dr Leo Freitas Biography - January 2021

Dr Freitas is 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. 

http://homepages.cs.ncl.ac.uk/leo.freitas/