Проф. Томас Хенцингер

Том Хенцингер е президент на IST Austria (Институт за наука и технологии Австрия) от 2009 г. Той притежава диплома Dipl.-Ing. по компютърни науки от Университета Йоханес Кеплер в Линц, Австрия, магистърска степен по компютърни и информационни науки от Университета на Делауеър, докторска степен по компютърни науки от Станфордския университет (1991 г.) и почетни докторски степени от Университета Фурие в Гренобъл, Франция, и от Университета Масарик в Бърно, Чехия. Бил е асистент по компютърни науки в Корнелския университет и професор по електроинженерство и компютърни науки в Калифорнийския университет, Бъркли. Бил е и директор в Института Макс-Планк за компютърни науки в Саарбрюкен, Германия, и професор по компютърни и комуникационни науки в EPFL в Лозана, Швейцария.

Неговите изследвания са фокусирани върху теорията на софтуерните системи, особено модели, алгоритми и инструменти за проектиране и проверка на надеждни софтуерни системи. Неговият инструмент HyTech е първият инструмент за проверка на модели за смесени дискретно-непрекъснати системи.

Той е член на Националната академия на науките на САЩ, Американската академия на изкуствата и науките, Academia Europaea, Германската академия на науките (Леополдина) и Австрийската академия на науките. Той е също така член на AAAS, ACM и IEEE.

Той е получил наградата Робин Милнър на Кралското общество, наградата EATCS на Европейската асоциация за теоретична информатика и наградата Витгенщайн на Австрийския научен фонд.