Рейнхард Вильгельм
Рейнхард Вильгельм | |
|---|---|
 Рейнхард Вильгельм, 2014 г. | |
| Рожденный | 5 июня 1946 г. |
| Альма-матер | Университет Мюнстера , Стэнфордский университет , Технический университет Мюнхена |
| Известный | технология компилятора |
| Награды | Медаль Конрада Цузе (2009). Крест за заслуги на ленте (2010) Премия ACM за выдающиеся заслуги (2011 г.) |
| Научная карьера | |
| Поля | Компьютерный ученый |
| Учреждения | Саарский университет |
Рейнхард Вильгельм (родился 5 июня 1946 г.) - немецкий ученый-компьютерщик.
Жизнь и работа
[ редактировать ]Вильгельм родился в Deutmecke , сегодня часть муниципалитета Финнентроп , Вестфалия . Он изучал математику, физику и математическую логику в Мюнстерском университете и информатику в Мюнхенском техническом университете и Стэнфордском университете . Он защитил докторскую диссертацию в Мюнхенском техническом университете в 1977 году. В 1978 году он получил должность профессора в Саарском университете , где до выхода на пенсию в 2014 году руководил кафедрой языков программирования и построения компиляторов. Кроме того, Вильгельм занимал должность научного руководителя Центр информатики Лейбница в замке Дагштуль с момента его создания в 1990 году до 2014 года. Сегодня он является почетным профессором Саарского университета.
Вильгельм является одним из соучредителей Европейского симпозиума по программированию (ESOP) и Европейских совместных конференций по теории и практике программного обеспечения (ETAPS). Европейская ассоциация языков программирования (EAPLS) возвращается к его идее основать организацию для продвижения исследований в области языков программирования и систем программирования. [ 1 ] В 1998 году он основал AbsInt , исследовательское подразделение , которое предлагает инструменты обеспечения качества программного обеспечения, основанные на абстрактной интерпретации , в том числе инструменты для проверки требований в реальном времени, используемые, например, для сертификации критичных ко времени встроенных систем внутри Аэробус А380 . [ 2 ]
Исследования Вильгельма сосредоточены на языках программирования, построении компиляторов, статическом анализе программ и встроенных системах реального времени, а также включают анимацию и визуализацию алгоритмов и структур данных. Вильгельм обнаружил связь между выбором кода и теорией регулярных древесных автоматов, которая актуальна для генерации кода с использованием древесных автоматов. Он является одним из соавторов генераторов компиляторов MUG1, MUG2 и OPTRAN, основанных на грамматиках атрибутов . Вместе с Ульрихом Мёнке он предложил анализ грамматического потока как обобщение межпроцедурного анализа потоков данных. он изобрел популярный анализ форм, основанный на трёхзначной логике Вместе с Мули Сагивом и Томом Репсом .
Вильгельм является соавтором книги Compiler Construction , которая обучает компиляторам не только императивных языков, но также объектно-ориентированных, функциональных и логических языков, а также уделяет особое внимание теоретической основе. Он также доступен на немецком и французском языках.
Вильгельм стал научным сотрудником ACM в 2000 году за исследования в области построения компиляторов и анализа программ, а также за работу в качестве научного директора LZI. [ 3 ] Технический университет Дармштадта и Институт Фраунгофера для графических исследований наградили его медалью Альвина-Вальтера в 2006 году. В 2007 году Министерство образования и исследований Франции наградило его премией Гей-Люссака-Гумбольдта за вклад в науку и его достижения в немецко-французском сотрудничестве в области исследований и образования. [ 4 ] В 2008 году стал членом Европейской академии наук ( Academia Europaea ). [ 5 ] В октябре того же года ему была присвоена степень почетного доктора RWTH Ахена . [ 6 ] В декабре он получил почетную степень Тартуского университета . [ 7 ] В сентябре 2009 года он был награжден медалью Конрада Цузе за достижения в исследованиях и образовании в области построения компиляторов, анализа программ в реальном времени и работы в качестве научного директора LZI/Schloss Dagstuhl. [ 8 ] В 2010 году награжден крестом ордена « За заслуги перед Федеративной Республикой Германия» и наградой ACM «За выдающиеся заслуги» . [ 9 ] В 2013 году его приняли в Немецкую национальную академию Леопольдина. Он получил награду Test of Time на международной конференции ESWEEK 2019 за долгосрочное влияние своих исследований на сроки выполнения. [ 10 ] В 2020 году Технический комитет IEEE по системам реального времени наградил его наградой за выдающиеся технические достижения и лидерство. [ 11 ] В 2021 году он получил награду Test-of-Time Технического комитета по системам реального времени IEEE (TCRTS) за статью «Влияние архитектуры процессора на проектирование и результаты инструментов WCET». [ 12 ]
Список книг
[ редактировать ]- Жак Лёкс, Курт Мельхорн, Рейнхард Вильгельм: основы языков программирования 1989 г.
- Рейнхард Вильгельм: Информатика - 10 лет назад. 10 лет вперед. Спрингер 2001 г.
- Райнхард Вильгельм, Гельмут Зайдль: Проектирование компилятора: виртуальные машины , Springer 2011
- Хельмут Зайдль, Рейнхард Вильгельм, Себастьян Хак: Проектирование компилятора: анализ и преобразование , Springer, 2011 г.
- Хельмут Зайдль, Райнхард Вильгельм, Себастьян Хак: Проектирование компилятора: синтаксический и семантический анализ , Springer 2011
- Рейнхард Вильгельм: Идеи малопонимающего ученого-компьютерщика - глоссы из спектра информатики. Специализированные СМИ Springer, Висбаден 2020, ISBN 978-3-658-28385-8 .
- Рейнхард Вильгельм: Об автопилотах, Талибане и Фридрихштадтпаласте: новые идеи малопонимающего ученого-компьютерщика. Независимо опубликовано в 2022 г., ISBN 979-8820142680 .
Литература
[ редактировать ]- Томас Репс , Мули Сагив, Йорг Бауэр: Оценка работы Рейнхарда Вильгельма . Анализ и компиляция программ, теория и практика (Springer, 2007), Конспекты лекций по информатике, том 4444.
Ссылки
[ редактировать ]- ^ «EAPLS: Что такое EAPLS» .
- ^ «Профиль компании АбсИнт» .
- ^ «О стипендиатах ACM» . Награды.acm.org . Проверено 14 ноября 2019 г.
- ^ «Немецко-французская премия за исследования профессору доктору Рейнхарду Вильгельму» . www.uni-saarland.de . Архивировано из оригинала 21 марта 2009 года . Проверено 12 января 2022 г.
- ^ «Два учёных-компьютерщика из Саарбрюккена приняты в Европейскую академию» .
- ^ «RWTH ACHEN UNIVERSITY - Rheinisch-Westfaelische Technische Hochschule - English» .
- ^ «89 лет UT как эстоноязычному университету» . Декабрь 2008 года.
- ^ «Рейнхард Вильгельм из Саарбрюккена получает медаль Конрада Цузе — высшую награду в области информатики вручают в Любеке» . idw-online.de . Проверено 14 ноября 2019 г.
- ^ «Цитирование премии ACM / Рейнхард Вильгельм» . Архивировано из оригинала 02 апреля 2012 г. Проверено 29 сентября 2011 г.
- ^ Газета, Саарбрюкер (21 октября 2019 г.). «Саарский университет: Международная премия для ученых-компьютерщиков» . Саарбрюкер Цайтунг . Проверено 14 ноября 2019 г.
- ^ «Награда TCRTS 2020 за выдающиеся технические достижения и лидерство» . Архивировано из оригинала 23 сентября 2020 года.
- ^ «Международная награда за влиятельные исследования в области прогнозирования времени выполнения программ» .
Внешние ссылки
[ редактировать ]- Домашняя страница Райнхарда Вильгельма
- Выступление Райнхарда Вильгельма в летней школе об анализе в реальном времени
- Рейнхард Вильгельм на DBLP библиографическом сервере
- Участие в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
- Члены Европейской академии
- Люди из Ольпе (район)
- Немецкие ученые-компьютерщики
- Выпускники Мюнхенского технического университета
- Академический состав Саарского университета
- Кавалеры Креста Ордена «За заслуги перед Федеративной Республикой Германия».
- 2000 г. члены Ассоциации вычислительной техники.
- 1946 года рождения
- Живые люди