FME Fellowship Award
Given every three years for technical achievements in advancing, applying, and promoting formal methods, the 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.