Эрнст-Рюдигер Ольдерог

Эрнст-Рюдигер Ольдерог (родился 4 июня 1955 года) — немецкий учёный-компьютерщик. Он является профессором Ольденбургского университета в Ольденбурге , на севере Германии . Он возглавляет группу Correct Systems Design (CSD), чьи исследования сосредоточены на теории языков программирования . Целью их исследований являются методы систематической разработки корректного программного обеспечения для параллельных и распределённых систем в условиях ограничений реального времени. В 1994 году Ольдерог был удостоен премии Лейбница Немецкого исследовательского фонда (DFG) за свою работу. Он является автором ряда научных книг и занимал пост главного редактора журнала Acta Informatica и председателя рабочей группы IFIP 2.2 по формальному описанию концепций программирования. Его работа в этой рабочей группе была удостоена награды IFIP Silver Core в 1998 году.

Ольдерог родом из Бреденбека в Шлезвиг-Гольштейне , на севере Германии, и изучал информатику , математику и логику в Кильском университете , где в 1981 году он получил докторскую степень под руководством Ганса Лангмаака по системам характеристик в стиле Хоара для языков программирования, подобных АЛГОЛу . ^[1] После нескольких исследовательских поездок за границу (включая Программную исследовательскую группу в Оксфордском университете , а также в Амстердаме , Эдинбурге , Йорктаун-Хайтс и Саарбрюккене ) он также получил хабилитацию в Кильском университете в 1989 году. С 1989 года Ольдерог работает на кафедре компьютерных наук Ольденбургского университета. С 1995 по 2005 год Ольдерог занимал пост председателя рабочей группы IFIP 2.2 по формальному описанию концепций программирования. Он был главным редактором журнала Acta Informatica и в 2012 году стал членом Academia Europaea . С 2012 по 2021 год Ольдерог был спикером аспирантуры SCARE (I + II), а с 2017 по 2019 год — деканом факультета II.

• В 1994 году Ольдерог вместе со своим коллегой Манфредом Броем был удостоен премии Deutsche Forschungsgemeinschaft (DFG) Готфрида Вильгельма Лейбница стоимостью три миллиона немецких марок.
• С 1995 по 2005 год Ольдерог был председателем рабочей группы IFIP 2.2 по формальному описанию концепций программирования.
• В 1998 году он получил премию Silver Core Award от IFIP за свою работу в этой группе IFIP.
• Ольдерог был редактором журнала Acta Informatica
• является членом Academia Europaea с 2012 года ^{. [2]}
• В 2015 году в Ольденбургском университете состоялся симпозиум и выпуск юбилейного сборника ^{[3] , посвященный его 60-летию.}

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

• Olderog, E.-R. (1991). Сети, термины и формулы: три взгляда на параллельные процессы и их связь . Кембридж: Cambridge University Press . ISBN 0-521-01845-5.
• Olderog, E.-R.; Dierks, Henning (2008). Системы реального времени: формальная спецификация и автоматическая проверка . Кембридж: Cambridge University Press. ISBN 978-0-521-88333-7.
• Апт, Кшиштоф Р.; де Бур, Франк. С.; Ольдерог, Э.-Р. (2009). Проверка последовательных и параллельных программ . Берлин: Springer-Verlag . ISBN 978-1-84882-744-8.
• Hinchey, MG ; Bowen, JP ; Olderog, E.-R., ред. (2017). Provably Correct Systems . Монографии NASA по системной и программной инженерии. Springer . ISBN 978-3319486277.

• Домашняя страница Эрнста-Рюдигера Ольдерога
• Публикации Эрнста-Рюдигера Ольдерога, проиндексированные Google Scholar
• Эрнст-Рюдигер Ольдерог на библиографическом сервере DBLP