Formal Methods Industry Committee


The aim of the FME Industry Committee is to support the infusion of formal methods into industry, as well as to obtain feedback from industry as to the usability of various methods in practice.


Nikolaj Bjorner, Microsoft Research, USA\
Jonathan Bowen, London South Bank University, UK\
Alessandro Cimatti, FBK Trento, Italy\
Rance Cleaveland, Maryland University, USA\
Jan Friso Groote, Eindhoven University, The Netherlands\
John Hatcliff, Kansas State University, USA\
Klaus Havelund, Jet Propulsion Laboratory/NASA, USA (chair)\
Gerwin Klein, University of NewSouth Wales, Australia\
Thierry Lecompte, ClearSy, France\
Colin O’Halloran, D-RisQ Ltd., UK\
Jan Peleska, Bremen University, Germany\
Shaz Qadeer, Facebook, USA\
Markus Voelter, Volter Consulting, Germany


We will initially provide a website containing information useful for industrial partners in their investigation of which formal methods can be of benefit to their work. The website will e.g. point to various tools and to teaching material. As such the committe’s objectives overlap to some degree with those of the teaching committee.

Web site

We are using the following page for information about FME’s Industry Committee:


Please contact us if you would like to contribute, by sending an email to either or (committee chair).