Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the

University of Oldenburg The Carl von Ossietzky University of Oldenburg () is a university located in Oldenburg, Germany. History The first teachers training was held in Oldenburg as early as 1793, launched by Duke Peter Friedrich Ludwig. A garden seminar for te ...

Oldenburg Oldenburg may also refer to: Places * Mount Oldenburg, Ellsworth Land, Antarctica *Oldenburg (city), an independent city in Lower Saxony, Germany **Oldenburg (district), a district historically in Oldenburg Free State and now in Lower Saxony * Ol ...

, northern

Germany Germany, officially the Federal Republic of Germany, is a country in Central Europe. It lies between the Baltic Sea and the North Sea to the north and the Alps to the south. Its sixteen States of Germany, constituent states have a total popu ...

. He heads the Correct Systems Design (CSD) group whose research is focused on

programming language theory Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is clos ...

. Their research goal is methods for the systematic development of correct software for

parallel Parallel may refer to: Mathematics * Parallel (geometry), two lines in the Euclidean plane which never intersect * Parallel (operator), mathematical operation named after the composition of electrical resistance in parallel circuits Science a ...

and

distributed Distribution may refer to: Mathematics *Distribution (mathematics), generalized functions used to formulate solutions of partial differential equations *Probability distribution, the probability of a particular value or value range of a varia ...

systems under real-time constraints. In 1994, Olderog was awarded the Leibnitz Prize of the German Research Foundation (DFG) for his work. He has authored a number of scientific books and served as editor-in-chief of the journal ''

Acta Informatica ''Acta Informatica'' is a peer-reviewed scientific journal, publishing original research papers in computer science. The journal is mainly known for publications in theoretical computer science. One of the two 1988 papers that were awarded the G� ...

'' and as chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. His work in this Working Group was awarded the IFIP Silver Core in 1998.

Biography

Education and academic career

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 ...

Schleswig-Holstein Schleswig-Holstein (; ; ; ; ; occasionally in English ''Sleswick-Holsatia'') is the Northern Germany, northernmost of the 16 states of Germany, comprising most of the historical Duchy of Holstein and the southern part of the former Duchy of S ...

, northern Germany, and studied

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

and

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

at the

University of Kiel Kiel University, officially the Christian Albrecht University of Kiel, (, abbreviated CAU, known informally as Christiana Albertina) is a public research university in the city of Kiel, Germany. It was founded in 1665 as the ''Academia Holsator ...

, where he received his doctorate in 1981 supervised by

Hans Langmaack Prof. Dr. Hans Langmaack (born 7 May 1934 at Hof Helle in the Steinburg district) is a Germany, German mathematician and computer scientist. Life Hans Langmaack attended the Bismarck School in Elmshorn, where he received a prize in natural scien ...

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 * Bertie Hoare (19 ...

-style characterization systems for

ALGOL ALGOL (; short for "Algorithmic Language") is a family of imperative computer programming languages originally developed in 1958. ALGOL heavily influenced many other languages and was the standard method for algorithm description used by the ...

-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 in 2011. The PRG was founded by ...

at the

University of Oxford The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest un ...

and in

Amsterdam Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Re ...

Edinburgh Edinburgh is the capital city of Scotland and one of its 32 Council areas of Scotland, council areas. The city is located in southeast Scotland and is bounded to the north by the Firth of Forth and to the south by the Pentland Hills. Edinburgh ...

Yorktown Heights Yorktown Heights is a census-designated place (CDP) in the town of Yorktown in Westchester County, New York, United States. The population was 1,781 at the 2010 census. History Yorktown Heights is in the town of Yorktown, New York, in northern ...

and

Saarbrücken Saarbrücken (; Rhenish Franconian: ''Sabrigge'' ; ; ; ; ) is the capital and largest List of cities and towns in Germany, city of the state of Saarland, Germany. Saarbrücken has 181,959 inhabitants and is Saarland's administrative, commerci ...

), he habilitated also at Kiel University in 1989. Since 1989, Olderog has been based at the Department of Computer Science, University of Oldenburg. He played a leading role in the EU ESPRIT ProCoS project on ''Provably Correct Systems'' during 1989–1995. From 1995 to 2005, Olderog served as chairman of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. He was editor-in-chief of the journal ''

'' and in 2012 became a member of the

Academia Europaea The Academia Europaea is a pan-European Academy of humanities, letters, law, and sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europe ...

. From 2012 to 2021 Olderog was Speaker of the Graduate Schoo
SCARE
(I + II) and from 2017 to 2019 he was Dean of the Faculty II.

Awards and honors

* In 1994, Olderog, together with his colleague Manfred Broy, was awarded the

Deutsche Forschungsgemeinschaft The German Research Foundation ( ; DFG ) is a German research funding organization, which functions as a self-governing institution for the promotion of science and research in the Federal Republic of Germany. In 2019, the DFG had a funding bu ...

(DFG) Gottfried Wilhelm Leibniz Prize, 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 ''

'' * has been a member of the

since 2012. * In 2015, a symposium with an associated Festschrift was held at the University of Oldenburg in celebration of his 60th birthday.

Books

Olderog has authored, co-authored, and co-edited the following books: * * * *

References

External links

Ernst-Rüdiger Olderog home page
*
Ernst-Rüdiger Olderog
at

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...

Bibliography Server {{DEFAULTSORT:Olderog, Ernst-Rudiger 1955 births Living people People from Rendsburg-Eckernförde University of Kiel alumni Members of the Department of Computer Science, University of Oxford IBM Research computer scientists Academic staff of the University of Oldenburg German computer scientists Formal methods people German academic journal editors Gottfried Wilhelm Leibniz Prize winners Members of Academia Europaea