Thomas Henzinger erhält den Milner Award 2015 der britischen Akademie der Wissenschaften. Klosterneuburg – Der Präsident des Institute of Science and Technology (IST) Austria in Klosterneuburg, Thomas Henzinger, wird mit dem Milner Award 2015 der Royal Society ausgezeichnet. Die britische Akademie der Wissenschaften ehrt damit jährlich außerordentliche Errungenschaften eines europäischen Forschers in der Informatik, wie das IST mitteilte. Henzinger erhalte den von Microsoft Research unterstützten Preis in Anerkennung seiner wesentlichen Beiträge zu Theorie und Praxis der formalen Verifikation und Synthese von reaktiven, hybriden und Echtzeit-Computersystemen. Neben einer Medaille und einem Betrag von umgerechnet rund 7.200 Euro ist die Auszeichnung mit der Einladung zu einer öffentlichen Vorlesung in der Royal Society verbunden. Für Henzinger ist der Namensgeber des Preises, der britische Informatiker und Turingpreisträger Robin Milner (1934-2010), ein wissenschaftlicher Held und Vorbild: Vor allem was dessen Zugang zu Formalismen betrifft, die durch ihren Reinheitsgrad spezifische Aspekte der Computerwissenschaft äußerst konzise beleuchten, hieß es in der Mitteilung.