Skip to content

Leo Freitas

  • Dr
  • Lecturer in Formal Methods and Tools
  • Newcastle University School of Computing Science
  • 29PublicationsNumber of items in Leo's My Publications folder on Mendeley.
  • 7Followers

Recent publications

  • Model checking Circus: architecture overview

    • Freitas L
    • Woodcock J
  • Modelling flash memory: progress and scope

    • Butterfield A
    • Freitas L
    • Gancarski P
    • et al.

Professional experience

Lecturer in Formal Methods and Tools

School of Computing Science, Newcastle University

June 2012 - Present

Senior Research Associate

Department of Computer Science, University of York

February 2006 - July 2010(4 years)



Department of Computer Science, University of York

August 2002 - September 2005(3 years)


I worked in the telecommunications industry for a few years in Brazil on software for telephone exchange monitoring using CORBA and DCOM. After that, I went an MSc in Software Engineering at UFPE, a Brazilian center of excellence. It was on model checking CSP with a Java implementation. Next, I came to the UK in 2002 for a PhD with Jim Woodcock at York on a combination of process algebra (CSP) with Z leading to a mix of model checking and theorem proving. From 2005-2010, I've worked with Jim on the Grand Challenge in software verification on various pilot projects, and developing tools for QinetiQ Malvern; they involve proof experiments of various sizes. I am currently at Newcastle University working on the AI4FM project with Cliff Jones.

Followers (7)

Explore network

Following (5)