Formal Methods Teaching Committee Established

FME has established a teaching committee to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.


The committee is chaired by Luigia Petre and originally consisted of the members listed below.
Up-to-date information about the committee is kept here

Rustan Leino, Amazon Web Services, US
Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil
Alexandra Mendes, Teesside University, UK
Joao Ferreira, Teesside University, UK
Catherine Dubois, ENSIIE, France
Dino Mandrioli, Politecnico di Milano, Italy
Luigia Petre (chair), Åbo Akademi University, Finland
Bernd Fisher, Stellenbosch University, South Africa
Kenji Taguchi, CAV, Japan
Graeme Smith, University of Queensland, Australia


  • Maintain a database of formal methods courses
  • Establish a repository of formal methods case studies
  • Establish a secured repository of exam exercises for formal method courses.
  • Achieve a BoK (Body of Knowledge) in Formal Methods
  • Maintain a web page of “summer” schools in Formal Methods.

In the long run, we have the following goals:

  • Connect “providers” and “consumers” of Formal Methods
  • Investigate feasibility of degrees in Formal Methods, such as an International MSc program in Formal Methods
  • Make industry and life sciences beneficiaries of Formal Methods

Author: Einar Broch Johnsen