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

Research interests

Event-BVDMZmodelingtheorem provingFormal methods

About

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)

  • S Asif

    S AsifCranfield University

  • Martin Emms

    Martin Emms

  • rq jiang

    rq jiang

  • John Mace

    John Mace

  • David Williams

    David WilliamsVU University Amsterdam

  • Andrius Velykis

    Andrius Velykis

Explore network

Following (5)

  • S Asif

    S AsifCranfield University

  • Martin Emms

    Martin Emms

  • John Mace

    John Mace

  • David Williams

    David WilliamsVU University Amsterdam

  • Andrius Velykis

    Andrius Velykis

Publications (5)

  • Mechanising Mondex with Z/Eves

    • Freitas L
    • Woodcock J
    N/AReaders
    N/ACitations
    Get full text
  • Model checking Circus: architecture overview

    • Freitas L
    • Woodcock J
    N/AReaders
    N/ACitations
  • FM 2005: Formal Methods

    • Woodcock J
    • Cavalcanti A
    • Freitas L
    N/AReaders
    N/ACitations
    Get full text
  • Integrated Formal Methods

    • Miller T
    • Freitas L
    • Malik P
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Modelling flash memory: progress and scope

    • Butterfield A
    • Freitas L
    • Gancarski P
    • et al.
    N/AReaders
    N/ACitations

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)

Education

PhD

Department of Computer Science, University of York

August 2002 - September 2005(3 years)