FME Teaching Committee
By Einar Broch Johnsen • Apr 4th, 2018 • Category: Lead Story, News, UncategorizedFME has established a teaching committee to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.
More information is available here
Members
The committee is chaired by Luigia Petre and consists of
- Rustan Leino, Amazon Web Services, US
- Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil
- Alexandra Mendez, 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
Objectives
- 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

Einar Broch Johnsen is
Email this author | All posts by Einar Broch Johnsen