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
Bredenbek is a municipality, located in the district of Rendsburg-Eckernförde in the German '' Bundesland'' of Schleswig-Holstein.
Bredenbek is part of the ''Amt'' ("collective municipality") Achterwehr.
Geography
Bredenbek is situated about 1 ...
in
Schleswig-Holstein, northern Germany, and studied
computer science,
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
and
logic at the
University of Kiel, where he received his doctorate in 1981 supervised by Prof.
Hans Langmaack on
Hoare
Hoare is an English surname derived from Middle English '' hor(e)'' meaning grey- or white-haired. Notable people with the surname include:
* Albert Alfred Hoare, known as Bert Hoare (1874–1962), South Australian politician
* Des Hoare (born 19 ...
-style characterization systems for
ALGOL-like programming languages. After several research visits abroad (including the
Programming Research Group
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science, University of Oxford, Department ...
at the
University of Oxford and in
Amsterdam,
Edinburgh,
Yorktown Heights and
Saarbrücken
Saarbrücken (; french: link=no, Sarrebruck ; Rhine Franconian: ''Saarbrigge'' ; lb, Saarbrécken ; lat, Saravipons, lit=The Bridge(s) across the Saar river) is the capital and largest city of the state of Saarland, Germany. Saarbrücken is S ...
), he
habilitate
Habilitation is the highest university degree, or the procedure by which it is achieved, in many European countries. The candidate fulfills a university's set criteria of excellence in research, teaching and further education, usually including a ...
d 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 his colleague
Manfred Broy
Manfred Broy (born 10 August 1949, Landsberg am Lech) is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany.
Biography
Broy gained his Doctor of Philo ...
, was awarded the
Deutsche Forschungsgemeinschaft (DFG)
Gottfried Wilhelm Leibniz Prize
The Gottfried Wilhelm Leibniz Prize (german: link=no, Förderpreis für deutsche Wissenschaftler im Gottfried Wilhelm Leibniz-Programm der Deutschen Forschungsgemeinschaft), in short Leibniz Prize, is awarded by the German Research Foundation to ...
, worth three million DM. From 1995 to 2005, Olderog was chairman of the
IFIP Working Group 2.2 on Formal Description of Programming Concepts. In 1998, he received the Silver Core Award from IFIP for his work in this IFIP group. Olderog was editor of the journal ''
Acta Informatica'' and has been a member of the
Academia Europaea since 2012.
Olderog is professor of
theoretical computer science at the Carl von Ossietzky University Oldenburg. He is head of the Department of Correct Systems Development, whose research is related to the field of
programming theory. The aim of this work is the development of procedures for the systematic creation of correct software for
parallel and
distributed systems with time requirements. Olderog is the author of several scientific books.
In 2015, a symposium was held at the Carl von Ossietzky University Oldenburg celebrating Olderog's 60th birthday, with an associated
Festschrift.
Books
Olderog has authored, coauthored, coedited the following books:
*
*
*
*
References
External links
Ernst-Rüdiger Olderog home page*
Ernst-Rüdiger Olderogat
DBLP Bibliography Server
{{DEFAULTSORT:Olderog, Ernst-Rudiger
1955 births
People from Rendsburg-Eckernförde
University of Kiel alumni
Members of the Department of Computer Science, University of Oxford
IBM Research computer scientists
University of Oldenburg faculty
German computer scientists
Formal methods people
Academic journal editors
Gottfried Wilhelm Leibniz Prize winners
Members of Academia Europaea
Living people