| 词条 | Ernst-Rüdiger Olderog |
| 释义 |
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. Hans Langmaack on Hoare-style characterization systems for ALGOL-like programming languages.[1] 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 his colleague Manfred Broy, was awarded the Deutsche Forschungsgemeinschaft (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 Acta Informatica and has been a member of the Academia Europaea since 2012.[2] 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.[3] In 2015, a symposium was held at the Carl von Ossietzky University Oldenburg celebrating Olderog's 60th birthday, with an associated Festschrift.[4] BooksOlderog has authored, coauthored, coedited the following books:[3]
References1. ^{{MathGenealogy|67731}}. 2. ^{{cite web| url=http://www.ae-info.org/ae/Member/Olderog_Ernst-R%C3%BCdiger | title=Ernst-Rüdiger Olderog | publisher=Academia Europaea | accessdate=8 January 2018 }} 3. ^1 {{cite web| url=https://www.amazon.co.uk/Books-Ernst-R%C3%BCdiger-Olderog/s?ie=UTF8&page=1&rh=n%3A266239%2Cp_27%3AErnst-R%C3%BCdiger%20Olderog | title=Books: Ernst-Rüdiger Olderog | publisher=Amazon.co.uk | accessdate=8 January 2018 }} 4. ^{{cite book| title=Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings | publisher=Springer International Publishing | date=2015 | isbn=978-3-319-23505-9 | doi=10.1007/978-3-319-23506-6 | editor-last1=Meyer | editor-first1=Roland | editor-last2=Platzer | editor-first2=Andre | editor-last3=Wehrheim | editor-first3=Heike | series=Theoretical Computer Science and General Issues | volume=9360 }} External links
12 : 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 |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。