Newcastle University

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.

Research Interests

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

• Freitas L, Jones CB. Learning from an expert's proof: AI4FM. In: UV10 (Usable Verification).2010,Redmond, Washington