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
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.
Please contact us if you would like to contribute, by sending an email