Ernst-Rüdiger Olderog

Ernst-Rüdiger Olderog is a full professor of computer science at the University of Oldenburg, affiliated with School II (Department of Computing Science). He holds a diploma in informatics (1979) and a Ph.D. in computer science (1981) from the University of Kiel. He conducted research at Oxford University (1981–1983) and obtained his habilitation in computer science (1989). He has held leadership roles, including the Leibniz Award (1994–1999), membership in Academia Europaea (since 2012), and directorship of the DFG Research Training Group SCARE. His research focuses on formal verification, concurrent and distributed systems, real-time systems, and Petri nets.

Key contributions include books on verification (e.g., Verification of Sequential and Concurrent Programs), real-time systems, and Petri nets. He has pioneered work on Petri games for distributed system synthesis and formal methods for traffic systems. His roles include Dean of Faculty II (2017–2019), editor of Acta Informatica, and chair of IFIP Working Group 2.2.

His awards include the Leibniz Prize and membership in prestigious academic societies. His research combines theoretical foundations with practical applications in safety-critical systems, automated verification, and hybrid models.