The FME Industry Committee aims 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. More specifically, the committee’s objectives are to:
- increase the use and awareness of formal methods in industry.
- increase academic awareness industrial use of formal methods.
- promote the collaboration between the formal methods community and industry.
To this end, the committee organises talks and tracks the industrial adoption and offering of formal methods.
The InFM Sessions
InFM is a series of online talks, organised by the committee and is aimed at people working in industry wishing to learn from others applying Formal Methods at industrial scale. The talks are also highly recommended to academics interested in applying and improving their methods, or seeing them applied. See the InFM page for upcoming and past talks.
Formal Methods and the Industry
The committee aims to inform the industry about which formal methods are available, which companies use formal methods, and which companies offer formal methods and consultancy. To this end, we maintain the following archives:
This video contains an interview with three industial engineers on the topic: Formal Methods in the Industrial Domain.
Industry Committee Members
- Leo Freitas, Newcastle University, UK
- Liana Hadarean, Amazon Web Services, USA (industry advisor)
- Peter Höfner, The Australian National University (ANU), Australia.
- Ivo ter Horst, ASML, The Netherlands (industry advisor)
- Jeroen Keiren, Eindhoven University of Technology, The Netherlands (Chair)
- Nikolai Kosmatov, Thales Research and Technology, France
- Anastasia Mavridou, KBR Inc, NASA Ames Research Center, USA
- Cristina Seceleanu, Malardalen University, Sweden (Secretary)
- Tim Willemse, Eindhoven University of Technology, The Netherlands
List of previous committee members.
Contact
Please contact us if you would like to contribute, by sending an email
to industry@fmeurope.org.