Томас Хензингер
Томас Хензингер | |
|---|---|
 Хенцингер в 2016 году | |
| Рожденный | |
| Национальность | австрийский |
| Известный | проектирование и проверка программного обеспечения, аппаратных средств и встроенных систем |
| Награды | Член НАН (2020) Сотрудник IEEE Член Академии наук Леопольдина. Член Австрийской академии наук Член Европейской академии |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Институт науки и технологий , Австрия |
Томас Хенцингер (род. 1962) — австрийский ученый-компьютерщик , исследователь и бывший президент Института науки и технологий Австрии .
Ранняя жизнь и образование
[ редактировать ]Хенцингер родился в Австрии. Он получил степень бакалавра компьютерных наук в Университете Иоганна Кеплера в Линце и докторскую степень в Стэнфордском университете в 1991 году. [1] посоветовал Зоар Манна . Он женат на Монике Хенцингер , имеет троих детей.
Карьера
[ редактировать ]Хензингер последовательно работал доцентом кафедры компьютерных наук Корнельского университета (1992–95), доцентом (1996–97), доцентом (1997–98), профессором (1998–2004) и адъюнкт-профессором (до 2011 г.). [2] Доктор электротехники и компьютерных наук Калифорнийского университета в Беркли . Он также был директором Макса Планка Института компьютерных наук в Саарбрюккене , Германия, в 1999 году и профессором компьютерных и коммуникационных наук в EPFL (Швейцарский федеральный технологический институт в Лозанне), Швейцария, с 2004 по 2009 год. [3] До 2022 года он был президентом Института науки и технологий Австрии (ISTA). [1]
Его исследования связаны с современной теорией систем, особенно с моделями, алгоритмами и инструментами для проектирования и проверки надежного программного обеспечения, аппаратного обеспечения и встроенных систем. Его инструмент HyTech стал первым средством проверки моделей смешанных дискретно-непрерывных систем . [3]
Он является членом Академии наук Леопольдина , Австрийской академии наук , Европейской академии и Института инженеров по электротехнике и электронике .
Другая деятельность
[ редактировать ]- Европейский исследовательский совет (ERC), член Научного совета (с 2023 г.) [4]
Признание
[ редактировать ]Хенцингер был награжден премией Милнера 2015 года от Королевского общества . [3] Он получил степень почетного доктора Масариковского университета , а также премию Витгенштейна Австрийского научного фонда . Он является научным сотрудником ACM и высоко цитируемым исследователем ISI в 2001 году. Он считается цитируемым исследователем номер один в Австрии. [5] по Хирша данным индекса . [6]
Ссылки
[ редактировать ]- ^ Jump up to: а б Каплан, Каран (4 февраля 2009 г.). «Томас Хенцингер, президент Австрийского института науки и технологий, Клостернойбург, Австрия» . Природа . 457 (7230): 752. doi : 10.1038/nj7230-752a .
- ^ «Томас А. Хенцингер, адъюнкт-профессор EECS, Калифорнийский университет в Беркли, США» .
- ^ Jump up to: а б с «Премия Королевского общества Милнера» . Королевское общество . Проверено 19 ноября 2015 г.
- ^ Комиссия назначает выдающихся ученых и ученых членами руководящего органа Европейского исследовательского совета Европейская комиссия , Генеральный директорат по исследованиям и инновациям , пресс-релиз от 7 декабря 2022 г.
- ^ «Профиль Томаса Хензингера» . Руководство 2 Исследования . Проверено 13 сентября 2018 г.
- ^ Публикации Томаса Хенцингера, индексируемые Google Scholar.
Внешние ссылки
[ редактировать ]- Архив страницы EPFL
- Домашняя страница Департамента EECS Беркли
- Пейдж и ISTA
- Страница Австрийской академии наук
- Томас Хенцингер в проекте «Математическая генеалогия»
  | Эта статья об австрийском ученом незавершена . Вы можете помочь Википедии, расширив ее . |