Oxford, 13. Juli 2018. Prof. Manfred Broy, Gründungspräsident des Zentrum Digitalisierung.Bayern, wurde auf der Jahrestagung der Formal Methods Europe in Oxford mit dem Fellowship Formal Methods Europe ausgezeichnet. Dieser Fellow wurde 2015 zum ersten Mal verliehen und wird seitdem im Abstand von drei Jahren wieder verliehen.