Райнхард Вильгельм - Reinhard Wilhelm

Райнхард Вильгельм
Райнхард Вильгельм.jpg
Райнхард Вильгельм, 2014 г.
Родившийся (1946-06-05) 5 июня 1946 г. (возраст 74)
Finnentrop, Германия
Альма-матерМюнстерский университет,
Стэндфордский Университет,
Технический университет Мюнхена
Известентехнология компилятора
НаградыМедаль Конрада Зузе (2009)
Крест заслуг на ленте (2010)
Премия ACM за выдающиеся заслуги (2011)
Научная карьера
ПоляСпециалист в области информатики
УчрежденияСаарский университет

Райнхард Вильгельм (родился 5 июня 1946 г.) - немецкий ученый-компьютерщик.

Жизнь и работа

Вильгельм родился в Deutmecke [де ], сегодня часть муниципалитета Finnentrop, Вестфалия. Он изучал математику, физику и математическую логику в Мюнстерский университет и информатика в Технический университет Мюнхена и Стэндфордский Университет. Он защитил докторскую диссертацию в Мюнхенском техническом университете в 1977 г. В 1978 г. получил звание профессора в Саарский университет, где он руководил кафедрой языков программирования и создания компиляторов до выхода на пенсию в 2014 году. Кроме того, Вильгельм занимал пост научного директора Центр информатики имени Лейбница в Schloss Dagstuhl с момента основания в 1990 году до 2014 года. Сегодня он является почетным профессором Саарландского университета.

Вильгельм является одним из соучредителей Европейского симпозиума по программированию (ESOP) и Европейских совместных конференций по теории и практике программного обеспечения (ETAPS). Европейская ассоциация языков программирования (EAPLS) вернулась к его идее основать организацию для продвижения исследований языков программирования и систем программирования.[1] В 1998 году он основал AbsInt, а побочный результат исследований который предлагает программное обеспечение для проверки критических по времени свойств встроенных систем, например, для сертификации критичных по времени систем внутри Airbus A380.[2]

Исследования Вильгельма фокусируются на языках программирования, построении компиляторов, статическом анализе программ и встроенных системах реального времени, но также включают анимацию и визуализацию алгоритмов и структур данных. Вильгельм обнаружил связь между выбором кода и теорией регулярных древовидных автоматов, что актуально для генерации кода с использованием древовидных автоматов. Он является одним из соавторов генераторов компиляторов MUG1, MUG2 и OPTRAN, основанных на грамматики атрибутов. Вместе с Ульрихом Мёнке он предложил грамматический анализ потока как обобщение межпроцедурного анализа потока данных. Он изобрел популярный анализ формы, основанный на трехзначная логика вместе с Мули Сагив и Том Репс.

Вильгельм - соавтор книги Конструкция компилятора, который учит компиляторы не только для императивных языков, но и для объектно-ориентированных, функциональных и логических языков и подчеркивает теоретические основы. Он также доступен на немецком и французском языках.

Вильгельм стал членом ACM в 2000 г. за его исследования по построению компиляторов и анализу программ, а также за работу в качестве научного руководителя LZI.[3] В TU Дармштадт и Fraunhofer-Institut für Graphische Datenverarbeitung [де ] наградил его Медаль Альвина-Вальтера в 2006 году. В 2007 году Министерство образования и науки Франции наградило его орденом Премия Гей-Люссака-Гумбольдта за его вклад в науку и за достижения в немецко-французском сотрудничестве в области исследований и образования.[4] Он стал членом Европейской академии наук (Academia Europaea ) в 2008.[5] В октябре того же года ему было присвоено звание почетного доктора RWTH Ахен.[6] В декабре он получил почетную степень Тартуский университет.[7] В сентябре 2009 года он был награжден Медаль Конрада Зузе за его достижения в исследованиях и образовании в области создания компиляторов, анализа программ в реальном времени и его службу в качестве научного директора LZI / Schloss Dagstuhl.[8] В 2010 г. награжден Крестом Орден за заслуги перед Федеративной Республикой Германия и Награда за выдающиеся заслуги ACM.[9] Он получил награду Test-of-Time на международной конференции ESWEEK 2019 за долгосрочное влияние его исследований на сроки выполнения.[10] В 2020 году Технический комитет IEEE по системам реального времени вручил ему награду за выдающиеся технические достижения и лидерство.[11]

Список книг

  • Жак Лёкс, Курт Мельхорн, Рейнхард Вильгельм: Основы языков программирования 1989
  • Райнхард Вильгельм: Информатика - 10 лет назад. 10 лет вперед. Springer 2001
  • Райнхард Вильгельм, Гельмут Зайдль: Дизайн компилятора: виртуальные машины, Springer 2011 г.
  • Хельмут Зайдль, Рейнхард Вильгельм, Себастьян Хак: Дизайн компилятора: анализ и преобразование, Springer 2011 г.
  • Хельмут Зайдль, Рейнхард Вильгельм, Себастьян Хак: Дизайн компилятора: синтаксический и семантический анализ, Springer 2011 г.
  • Райнхард Вильгельм: Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum. Springer Fachmedien, Висбаден 2020, ISBN  978-3-658-28385-8.

Литература

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

  1. ^ «EAPLS: что такое EAPLS».
  2. ^ «Абсинт-Фирменпрофиль».
  3. ^ "О стипендиатах ACM". awards.acm.org. Получено 14 ноября, 2019.
  4. ^ https://web.archive.org/web/20090321212025/http://www.uni-saarland.de/de/medien/2007/01/1170067449
  5. ^ "Zwei Saarbrücker Informatiker в Academia Europaea aufgenommen".
  6. ^ "RWTH AACHEN UNIVERSITY - Rheinisch-Westfaelische Technische Hochschule - английский язык".
  7. ^ "89 лет UT как эстоноязычного университета". Декабрь 2008 г.
  8. ^ "Reinhard Wilhelm aus Saarbrücken erhält Konrad-Zuse-Medaille - Höchste Informatik-Auszeichnung wird в Lübeck verliehen". idw-online.de. Получено 14 ноября, 2019.
  9. ^ «Архивная копия». Архивировано из оригинал на 2012-04-02. Получено 2011-09-29.CS1 maint: заархивированная копия как заголовок (связь)
  10. ^ Zeitung, Saarbrücker. "Saar-Universität: Internationaler Preis für Informatiker". Saarbrücker Zeitung. Получено 14 ноября, 2019.
  11. ^ https://site.ieee.org/tcrts/2020/04/30/tcrts-2020-outstanding-technical-achievement-and-leadership-award/

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