Эрнст-Рюдигер Ольдерог - Википедия - Ernst-Rüdiger Olderog

Эрнст-Рюдигер Ольдерог (родился 4 июня 1955 г.) - немецкий ученый-компьютерщик. Он полный профессор Ольденбургский университет в Ольденбург, северный Германия.

Ольдерог происходит из Бреденбек в Шлезвиг-Гольштейн, север Германии, и изучал Информатика, математика и логика на Кильский университет, где он получил докторскую степень в 1981 году под руководством проф. Ганс Лангмаак на Hoare -стилевые системы характеризации для АЛГОЛ -подобные языки программирования.[1] После нескольких зарубежных исследовательских поездок (в том числе Группа исследования программирования на Оксфордский университет И в Амстердам, Эдинбург, Yorktown Heights и Саарбрюккен ), он хабилитированный в Кильском университете в 1989 году. С 1989 года Olderog работает на факультете компьютерных наук Ольденбургского университета. В 1994 году Ольдерог вместе со своим коллегой Манфред Брой был награжден Deutsche Forschungsgemeinschaft (DFG) Премия Готфрида Вильгельма Лейбница стоимостью три миллиона немецких марок. С 1995 по 2005 год Ольдерог был председателем ИФИП Рабочая группа 2.2 по формальному описанию концепций программирования. В 1998 году он получил серебряную награду от IFIP за свою работу в этой группе IFIP. Ольдерог был редактором журнала Acta Informatica и был членом Academia Europaea с 2012 года.[2]

Ольдерог - профессор теоретическая информатика в университете Карла фон Осецкого в Ольденбурге. Он возглавляет отдел разработки правильных систем, исследования которого связаны с областью программирование теория. Целью данной работы является разработка процедур систематического создания корректного программного обеспечения для параллельно и распределенные системы с требованиями времени. Ольдерог - автор нескольких научных книг.[3]

В 2015 году в Ольденбургском университете Карла фон Осецкого прошел симпозиум, посвященный 60-летию Ольдерога, с ассоциированным Festschrift.[4]

Книги

Ольдерог является автором, соавтором и соавтором следующих книг:[3]

  • Ольдерог, Э.-Р. (1991). Сети, термины и формулы: три взгляда на параллельные процессы и их взаимосвязь. Кембридж: Издательство Кембриджского университета. ISBN  0-521-01845-5.
  • Olderog, E.-R .; Диркс, Хеннинг (2008). Системы реального времени: формальная спецификация и автоматическая проверка. Кембридж: Издательство Кембриджского университета. ISBN  978-0-521-88333-7.
  • Apt, Krzysztof R .; де Бур, Франк. S .; Ольдерог, Э.-Р. (2009). Проверка последовательных и параллельных программ. Берлин: Springer-Verlag. ISBN  978-1-84882-744-8.
  • Хинчи, М.Г.; Боуэн, Дж. П.; Ольдерог, Э.-Р., ред. (2017). Доказанно правильные системы. НАСА Монографии по системной и программной инженерии. Springer. ISBN  978-3319486277.

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

  1. ^ Эрнст-Рюдигер Ольдерог на Проект "Математическая генеалогия".
  2. ^ "Эрнст-Рюдигер Ольдерог". Academia Europaea. Получено 8 января 2018.
  3. ^ а б "Книги: Эрнст-Рюдигер Ольдерог". Amazon.co.uk. Получено 8 января 2018.
  4. ^ Мейер, Роланд; Платцер, Андре; Wehrheim, Heike, eds. (2015). Правильный системный дизайн: Симпозиум в честь Эрнста-Рюдигера Ольдерога по случаю его 60-летия, Ольденбург, Германия, 8-9 сентября 2015 г., Материалы. Теоретическая информатика и общие вопросы. 9360. Springer International Publishing. Дои:10.1007/978-3-319-23506-6. ISBN  978-3-319-23505-9. S2CID  30847802.

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