Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany. Olderog comes from Bredenbek in Schleswig-Holstein, northern Germany, and studied computer science, mathematics and logic at the University of Kiel, where he received his doctorate in 1981 supervised by Prof. on Hoare-style characterization systems for ALGOL-like programming languages. After several research visits abroad (including the Programming Research Group at the University of Oxford and in Amsterdam, Edinburgh, Yorktown Heights and Saarbrücken), he habilitated at Kiel University in 1989 as well. Since 1989, Olderog has been based at the Department of Computer Science, University of Oldenburg. In 1994, Olderog, together with