Thomas Henzinger
Der Computerwissenschaftler Thomas Henzinger arbeitet an den mathematischen Grundlagen für das Design komplexer Hard- und Softwaresysteme am Institute of Science and Technology Austria (IST Austria). Das internationale Forschungsinstitut bei Wien widmet sich der naturwissenschaftlichen Grundlagenforschung. Henzinger war 2009 erster Präsident des neu gegründeten ISTA, das er bis 2022 leitete.
