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
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