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

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

Биография

Образование и академическая карьера

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

Награды и почести

В 1994 году Ольдерог вместе со своим коллегой Манфредом Броем был удостоен премии Немецкого исследовательского фонда (DFG) Готфрида Вильгельма Лейбница на сумму три миллиона немецких марок.
С 1995 по 2005 год Ольдерог был председателем рабочей группы 2.2 ИФИП по формальному описанию концепций программирования.
В 1998 году он получил награду Silver Core от ИФИП за работу в этой группе ИФИП.
Ольдерог был редактором журнала Acta Informatica.
Является членом Европейской академии с 2012 года. ^{[ 2 ]}
В 2015 году симпозиум с ассоциированным Festschrift ^{[ 3 ]} состоялся в Ольденбургском университете в честь его 60-летия.

Книги

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

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

Ссылки

^ Эрнст-Рюдигер Ольдерог в проекте «Математическая генеалогия» .
^ «Эрнст-Рюдигер Ольдерог» . Европейская академия . Проверено 8 января 2018 г.
^ Мейер, Роланд; Платцер, Андре; Верхайм, Хайке, ред. (2015). Правильный дизайн системы: Симпозиум в честь Эрнста-Рюдигера Ольдерога по случаю его 60-летия, Ольденбург, Германия, 8-9 сентября 2015 г., Труды . Теоретическая информатика и общие вопросы. Том. 9360. Springer International Publishing . дои : 10.1007/978-3-319-23506-6 . ISBN 978-3-319-23505-9 . S2CID 30847802 .

Внешние ссылки

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

[1] Эрнст-Рюдигер Ольдерог в проекте «Математическая генеалогия» .

[ae-2] «Эрнст-Рюдигер Ольдерог» . Европейская академия . Проверено 8 января 2018 г.

[3] Мейер, Роланд; Платцер, Андре; Верхайм, Хайке, ред. (2015). Правильный дизайн системы: Симпозиум в честь Эрнста-Рюдигера Ольдерога по случаю его 60-летия, Ольденбург, Германия, 8-9 сентября 2015 г., Труды . Теоретическая информатика и общие вопросы. Том. 9360. Springer International Publishing . дои : 10.1007/978-3-319-23506-6 . ISBN 978-3-319-23505-9 . S2CID 30847802 .

[ 1 ]

[ 2 ]

[ 3 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция Данные БНФ Германия Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии ОРЦИД Скопус zbMATH
Другой	ИдРеф