Ernst-Rüdiger Olderog

Ernst-Rüdiger Olderog
Born	(1955-06-04) June 4, 1955 Bredenbek, Schleswig-Holstein, Germany
Occupation(s)	Computer scientist, professor
Years active	1981–present
Known for	Programming language theory, software correctness in parallel and distributed systems, real-time systems
Notable work	Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship; Real-Time Systems: Formal Specification and Automatic Verification; Verification of Sequential and Concurrent Programs; Provably Correct Systems

Ernst-Rüdiger Olderog (born 4 June 1955) is a distinguished German computer scientist and a full professor at the University of Oldenburg, located in northern Germany. He directs the Correct Systems Design (CSD) research group, which specializes in programming language theory and the creation of techniques to ensure software correctness in parallel and distributed systems operating under real-time conditions. In recognition of his significant contributions, Olderog was awarded the esteemed Leibniz Prize by the DFG in 1994. His scholarly output includes numerous scientific books, he has held the position of editor-in-chief for Acta Informatica, and he led the IFIP Working Group 2.2 focused on Formal Description of Programming Concepts, receiving the IFIP Silver Core distinction in 1998.

Academic background and career

Born in Bredenbek, Schleswig-Holstein, Olderog pursued studies in computer science, mathematics, and logic at the University of Kiel, where he completed his doctoral degree in 1981 under the supervision of Hans Langmaack. His dissertation addressed Hoare-style characterization systems for languages similar to ALGOL. Following his doctorate, he conducted research at several prominent institutions including the University of Oxford, Amsterdam, University of Edinburgh, IBM Thomas J. Watson Research Center, and University of Saarbrücken. He achieved his habilitation at Kiel in 1989 and has been affiliated with the Department of Computer Science at the University of Oldenburg ever since.

Olderog was instrumental in the EU ESPRIT ProCoS initiative (1989–1995), which concentrated on Provably Correct Systems. Between 1995 and 2005, he served as chairperson of IFIP Working Group 2.2. He became a member of the Academia Europaea in 2012. Additionally, he acted as Speaker for the Graduate School SCARE (I + II) from 2012 to 2021 and held the position of Dean for Faculty II between 2017 and 2019.

Distinctions and recognitions

• In 1994, alongside colleague Manfred Broy, Olderog was honored with the Deutsche Forschungsgemeinschaft (DFG) Gottfried Wilhelm Leibniz Prize, which included funding amounting to three million DM.
• He chaired the IFIP Working Group 2.2 on Formal Description of Programming Concepts for a decade from 1995 to 2005.
• The IFIP Silver Core Award was bestowed upon him in 1998 in recognition of his valuable service to this group.
• Olderog has fulfilled editorial duties for Acta Informatica and has been a member of the Academia Europaea since 2012.
• In celebration of his 60th birthday, a symposium along with a Festschrift was organized by the University of Oldenburg in 2015.

Publications

Among his significant authored and edited works are:

• Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship (Cambridge University Press, 1991)
• Real-Time Systems: Formal Specification and Automatic Verification (Cambridge University Press, 2008)
• Verification of Sequential and Concurrent Programs (Springer-Verlag, 2009)
• Provably Correct Systems (Springer, NASA Monographs, 2017)

External links

• Ernst-Rüdiger Olderog home page
• Ernst-Rüdiger Olderog at DBLP Bibliography Server