Хельмут Фейт
Хельмут Фейт | |
|---|---|
| Рожденный | 5 февраля 1971 г. Вена , Австрия |
| Умер | 12 марта 2016 г. (45 лет) Вена, Австрия |
| Гражданство | Австрия |
| Альма-матер | ТУ Вена |
| Научная карьера | |
| Поля | |
| Учреждения | |
| Докторантура | Джордж Готтлоб [ 2 ] |
| Веб-сайт | Форсайт |
Хельмут Фейт (5 февраля 1971 — 12 марта 2016) был австрийцем. учёный-компьютерщик, работавший в области компьютерных технологий верификация , разработка программного обеспечения , компьютерная безопасность и логика в информатике . Он профессором информатики был в Венском технологическом университете (TU Wien) , Австрия. [ 1 ] [ 3 ] [ 4 ]
Образование
[ редактировать ]Фейт получил диплом инженера по вычислительной логике в Венском техническом университете. в 1994 году. Получил степень доктора компьютерных наук в 1998 году под под руководством профессора Георга Готтлоба по теме вычислительных сложность логики и к базе данных языков запросов .
Карьера и исследования
[ редактировать ]Вейт был профессором факультета информатики Венского технического университета и адъюнкт-профессором Университета Карнеги-Меллон в Питтсбурге . Ранее он был профессором кафедры компьютерных наук Дармштадтского технического университета (2008–2009 гг.) и Мюнхенского технического университета (2003–2008 гг.), а также доцентом Венского технического университета (2001–2003 гг.). Он получил хабилитацию в Венском техническом университете в 2001 году.
Вейт опубликовал более 120 рецензируемых публикаций. [ 5 ] в областях компьютерная проверка и программный анализ , логика в компьютере наука, разработка программного обеспечения, компьютерная безопасность и теоретическая информатика . Он был соредактором «Справочника по проверке моделей» . [ 6 ] В 2014 году он был сопредседателем Венского лета логики 2014, крупнейшей конференции по логике и информатике в истории.
Вейт наиболее известен своей ролью в развитии Уточнение абстракции на основе контрпримеров (CEGAR), которое является ключевым ингредиент современных средств проверки моделей программного и аппаратного обеспечения. Его исследование применяет формальные и логические методы к проблемам программного обеспечения технологии и инженерия, уделяя особое внимание проверке моделей, программному обеспечению проверка и тестирование, встроенное программное обеспечение и компьютерная безопасность.
Научная коммуникация
[ редактировать ]Фейт был соучредителем Венского центра логики и алгоритмов (совместно со Стефаном Зейдером ). [ 7 ] Вейт был членом организационного совета крупнейшей конференции по логике в истории — Венского лета логики 2014, которое состояло из двенадцати крупных конференций и многочисленных семинаров, привлекших в Вену более 2000 исследователей со всего мира. Вейт был докладчиком в докторантуре по логическим методам в компьютерных науках, финансируемой FWF , и заместителем координатора Национальной исследовательской сети строгой системной инженерии (RiSE). [ 8 ]
Награды и почести
[ редактировать ]Вейту была присуждена докторская степень с высшим отличием «sub auspiciis». praesidentis» на церемонии под председательством президента Австрии . его соавторы получили премию CAV Award 2015. [ 9 ] признание вкладов фундаментальное значение для области компьютерной проверки за вклад в развитие CEGAR. Его работа над программа проверки моделей программного обеспечения MAGIC получила награду ACM Distinguished Paper Награда за вклад в исследование проверки модульности программное обеспечение. [ 10 ] [ 11 ] В 2016 году Вейт был посмертно награжден расширенным грантом ERC по теме « Использование технологии проверки моделей для распределенных алгоритмов» .
Ссылки
[ редактировать ]- ^ Перейти обратно: а б «Гельмут Фейт» . Google Академик . Проверено 3 апреля 2016 г.
- ^ Хельмут Вейт в проекте математической генеалогии
- ^ Кларк, Эдмунд; Грумберг, Орна; Джа, Сомеш; Лу, Юань; Вейт, Хельмут (июль 2000 г.). «Уточнение абстракции на основе контрпримеров» . Компьютерная проверка . 1855 (2000): 154–169. дои : 10.1007/10722167_15 .
- ^ «Некролог Гельмута Фейта: нелогичная смерть» . 21 марта 2016 г.
- ^ «Гельмут Фейт» . ДБЛП . Проверено 3 апреля 2016 г.
- ^ Кларк, Эдмунд; Хензингер, Томас; Вейт, Хельмут (10 сентября 2016 г.). Справочник по проверке моделей (изд. 2017 г.). Спрингер. ISBN 978-3-319-10575-8 . Проверено 3 апреля 2016 г.
- ^ «Центр основ информатики — derStandard.at» . СТАНДАРТ (на австрийском немецком языке) . Проверено 26 ноября 2019 г.
- ^ «Хельмут Фейт: 1971 – 2016» . www.tuwien.at . 25 ноября 2019 г. Проверено 26 ноября 2019 г.
- ^ «Премия КАВ» . Международная конференция по компьютерному контролю . Проверено 3 апреля 2016 г.
- ^ «Награда ACM SIGSOFT за выдающуюся работу» . СИГСОФТ . Проверено 3 апреля 2016 г.
- ^ Чаки, Сагар; Кларк, Эдмунд; Грос, Алекс; Джа, Сомеш; Вейт, Хельмут (июнь 2004 г.). «Модульная верификация компонентов программного обеспечения на языке C». Транзакции IEEE по разработке программного обеспечения . 30 (6): 388–402. CiteSeerX 10.1.1.5.9973 . дои : 10.1109/TSE.2004.22 . S2CID 7099578 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
