Томас Хенцингер (род. 1962) - австрийский ученый-компьютерщик , исследователь и президент Института науки и технологий, Австрия .
Томас Хензингер | |
---|---|
Родившийся | |
Национальность | Австрийский |
Известен | проектирование и проверка программного обеспечения, оборудования и встроенных систем |
Награды | Член NAS (2020), член IEEE , Академия наук Леопольдина, член Австрийской академии наук , Academia Europaea |
Научная карьера | |
Поля | Информатика |
Учреждения | Институт науки и технологий , Австрия |
Жизнь и карьера
Хенцингер родился в Австрии. Он получил степень бакалавра компьютерных наук в Университете Иоганна Кеплера в Линце и докторскую степень в Стэнфордском университете в 1991 году [1] по рекомендации Зохара Манна . Он женат на Монике Хенцингер, имеет троих детей.
Он был последовательно доцент кафедры компьютерных наук в Корнельском университете (1992-95) и доцент (1996-97), доцент (1997-98), профессор (1998-2004) и адъюнкт - профессор (до 2011 года) [2] из Электротехника и компьютерные науки в Калифорнийском университете в Беркли . Он был также директором Института Макса Планка Информатики в Саарбрюккене , Германия в 1999 году и профессор компьютерных и коммуникационных наук в EPFL (Швейцарский федеральный технологический институт в Лозанне), Швейцария с 2004 по 2009 году [3] В настоящее время он президент Института науки и технологий, Австрия . [1]
Его исследования связаны с современной теорией систем, особенно с моделями, алгоритмами и инструментами для проектирования и проверки надежного программного обеспечения, оборудования и встроенных систем. Его инструмент HyTech был первым средством проверки моделей для смешанных дискретно-непрерывных систем . [3]
Он является членом Академии наук Леопольдина , Австрийской академии наук , Academia Europaea и Института инженеров по электротехнике и электронике .
В 2015 году Королевское общество наградило его премией Милнера . [3] Он получил почетный доктор из Университета Масарика , а также Витгенштейн премии фонда науки Австрии . Он является научным сотрудником ACM и широко цитируемым исследователем ISI . Согласно данным h- индекса, он занимает первое место в рейтинге цитируемых исследователей в Австрии [4] . [5]
Рекомендации
- ^ a b Каплан, Каран (4 февраля 2009 г.). «Томас Хенцингер, президент Австрийского института науки и технологий, Клостернойбург, Австрия». Природа . 457 (7230): 752. DOI : 10.1038 / nj7230-752a .
- ^ «Томас А. Хенцингер, адъюнкт-профессор, EECS, Калифорнийский университет в Беркли, США» .
- ^ а б в «Премия Королевского общества Милнера» . Королевское общество . Проверено 19 ноября 2015 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ "Профиль Томаса Хензингера" . Путеводитель 2 Исследования . Проверено 13 сентября 2018 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ "Профиль ученого Google Томаса Хензингера" .
Внешние ссылки
- Архив страницы на EPFL
- Домашняя страница Департамента EECS Беркли
- Страница на IST Austria
- Пейдж в Австрийской академии наук