Томас Хензингер - Thomas Henzinger

Томас Хензингер
Родившийся
Австрия
НациональностьАвстрийский
Известенпроектирование и проверка программного обеспечения, оборудования и встроенных систем
НаградыЧлен NAS (2020)
Сотрудник IEEE
Член Академии Наук Леопольдина
Член Австрийской академии наук
Член Academia Europaea
Научная карьера
ПоляИнформатика
УчрежденияИнститут науки и технологий, Австрия

Томас Хензингер (1962 г.р.) Австрийский специалист в области информатики, исследователь и президент Института науки и технологий, Австрия.

Жизнь и карьера

Хенцингер родился в Австрии. Он получил степень бакалавра компьютерных наук в Университет Иоганна Кеплера в Линце, и его докторская степень от Стэндфордский Университет в 1991 г.[1] посоветовал Зохар Манна. Он женат на Моника Хензингер Имеет троих детей.

Он был последовательно доцентом компьютерных наук в Корнелл Университет (1992-95) и доцент (1996-97), доцент (1997-98), профессор (1998-2004) и адъюнкт-профессор (до 2011)[2] электротехники и компьютерных наук в Калифорнийский университет в Беркли. Он также был директором Институт Макса Планка компьютерных наук в Саарбрюккен, Германия в 1999 году и профессор компьютерных и коммуникационных наук в EPFL (Швейцарский федеральный технологический институт в Лозанне), Швейцария, с 2004 по 2009 год. [3] В настоящее время он является президентом Институт науки и технологий, Австрия.[1]

Его исследования касаются современной теории систем, особенно моделей, алгоритмов и инструментов для проектирования и проверки надежного программного обеспечения, оборудования и встроенных систем. Его инструмент HyTech был первым средством проверки моделей для смешанных дискретно-непрерывных систем.[3]

Он является членом Академия наук Леопольдина, Австрийская Академия Наук, Academia Europaea, и Институт инженеров по электротехнике и электронике.

Награжден премией 2015 г. Премия Милнера посредством Королевское общество[3]. Он получил Доктор honoris causa от Масариковский университет а также премию Витгенштейна Австрийский научный фонд. Он Член ACM и Цитируемый исследователь ISI. Он считается исследователем номер один в Австрии.[4] по данным H-индекса [5].

Рекомендации

  1. ^ а б Каплан, Каран (4 февраля 2009 г.). «Томас Хенцингер, президент Австрийского института науки и технологий, Клостернойбург, Австрия». Природа. 457 (7230): 752. Дои:10.1038 / nj7230-752a.
  2. ^ "Томас А. Хензингер, адъюнкт-профессор EECS, Калифорнийский университет в Беркли, США".
  3. ^ а б c «Премия Королевского общества Милнера». Королевское общество. Получено 19 ноября 2015.
  4. ^ "Профиль Томаса Хензингера". Руководство 2 Исследования. Получено 13 сентября 2018.
  5. ^ "Профиль ученого Томаса Хензингера в Google".

внешняя ссылка