FME Fellowship Award
Established in 2015 and normally given every three years for technical achievements in advancing, applying, and promoting formal methods, the Formal Methods Europe (FME) Fellowship rewards scientific breakthroughs and pioneering work that have made a difference to the world through advances in formal methods. This includes contributions in the following areas:
- Solid theoretical work
- Development of frameworks and tools
- Teaching formal methods
- Industrial applications
- Publicising formal methods worldwide and attracting people to the community
The recipient of the fellowship will clearly have made a difference in one or more of these areas, and this will be supported by concrete evidence.