Prof. Manfred Broy, professor emeritus at the Technical University of Munich (DE), has been awarded the FME Fellowship 2018. The Fellowships are awarded every three years in recognition of technical breakthroughs and pioneering work in advancing, applying, and promoting mathematically rigorous methods for the design of computing systems.