Ernst-Rüdiger Olderog

Ernst-Rüdiger Olderog is a full Professor (C4) at the Department of Computing Science of the University of Oldenburg since 1994. He has held visiting positions at ETH Zürich (2004/05, 2012), University of Amsterdam (1989/04-1990/09, part-time), and Oxford University (1981-1983). He directs the Research Training Group SCARE (since 2012) and previously led the Graduate School TrustSoft (2008-2010), both funded by DFG.

• Education:
  • Diploma (Master) in Computer Science, University of Kiel (1979)
  • Doctoral degree in Computer Science, University of Kiel (1981)
  • Habilitation in Computer Science, University of Kiel (1989)

Research interests focus on formal methods for system verification, including reactive systems, sequential/concurrent programming, real-time system design, and hybrid system decomposition for traffic applications. His work combines process theory, temporal logic, and data specification frameworks.

Scientific awards include:

• 1994 Leibniz Prize (DFG)
• 1983 IFIP WG 2.2 membership
• 1982 Kiel University doctoral dissertation award

He has coordinated the 'Real-Time' project area in the Collaborative Research Center AVACS (since 2004) and served as Editor-in-Chief of Acta Informatica (since 2000). His career spans research stays at CWI Amsterdam, Oxford, SRI International, and Kestrel Institute.