エルンスト＝リューディガー・オルデログ

エルンスト＝リューディガー・オルデログ（1955年6月4日生まれ）は、ドイツのコンピュータ科学者です。彼はドイツ北部オルデンブルクにあるオルデンブルク大学の正教授です。彼はプログラミング言語理論に焦点を当てた研究を行う「正しいシステム設計（CSD）」グループを率いています。彼らの研究目標は、リアルタイム制約下で 並列分散システム向けの正しいソフトウェアを体系的に開発するための手法を開発することです。1994年、オルデログはドイツ研究振興協会（DFG）のライプニッツ賞を受賞しました。彼は数多くの科学書を執筆し、学術誌『Acta Informatica』の編集長、およびプログラミング概念の形式的記述に関するIFIPワーキンググループ2.2の議長を務めました。このワーキンググループでの彼の業績は、1998年にIFIPシルバーコア賞を受賞しました。

オルデログは、以下の書籍を執筆、共著、共同編集している。

• Olderog, E.-R. (1991). Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship . Cambridge: Cambridge University Press . ISBN 0-521-01845-5。
• Olderog, E.-R.; Dierks, Henning (2008).リアルタイムシステム：形式仕様と自動検証. ケンブリッジ：ケンブリッジ大学出版局. ISBN 978-0-521-88333-7。
• Apt, Krzysztof R. ; de Boer, Frank. S.; Olderog, E.-R. (2009).逐次プログラムと並行プログラムの検証. ベルリン: Springer-Verlag . ISBN 978-1-84882-744-8。
• Hinchey, MG ; Bowen, JP ; Olderog, E.-R.編 (2017). Provably Correct Systems . NASA Monographs in Systems and Software Engineering. Springer . ISBN 978-3319486277。

• エルンスト・リュディガー・オルデログのホームページ
• Ernst-Rüdiger Olderog の出版物がGoogle Scholarによってインデックス付けされています
• DBLP参考文献サーバーのErnst-Rüdiger Olderog