https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Ernst-R%C3%BCdiger_OlderogErnst-Rüdiger Olderog - Versionsgeschichte2026-05-30T07:48:44ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Ernst-R%C3%BCdiger_Olderog&diff=465368&oldid=previmported>Thomas Dresler: Halbgeviertstrich2024-03-07T18:40:18Z<p>Halbgeviertstrich</p>
<p><b>Neue Seite</b></p><div>'''Ernst-Rüdiger Olderog''' (* [[1955]]) ist ein deutscher [[Informatik]]er. Seit 1989 ist er Professor für [[Theoretische Informatik]] an der [[Carl von Ossietzky Universität Oldenburg]]. Er leitet die Abteilung ''Entwicklung korrekter Systeme'' (bis 31. März 2003: Abteilung ''[[Semantik]]''), deren Forschungsarbeiten dem Gebiet der ''Theorie der Programmierung'' zuzuordnen sind. Ziel dieser Arbeiten ist die Entwicklung von Vorgehensweisen für die systematische Erstellung von korrekter Software für parallele und verteilte Systeme mit Zeitanforderungen. Für seine Forschungsarbeiten ist Olderog 1994 mit dem [[Gottfried-Wilhelm-Leibniz-Preis|Leibniz-Preis]] der [[Deutsche Forschungsgemeinschaft|DFG]] ausgezeichnet worden. Olderog ist Autor verschiedener wissenschaftlicher Bücher und war Herausgeber der Zeitschrift ''Acta Informatica'' und Vorsitzender der ''[[International Federation for Information Processing|IFIP]] Working Group 2.2 on Formal Description of Programming Concepts''. Für seine Arbeit in dieser IFIP-Gruppe erhielt er 1998 die Silver Core Auszeichnung der IFIP.<br />
<br />
== Biografie ==<br />
=== Ausbildung und Akademische Karriere ===<br />
Olderog stammt aus [[Bredenbek]] in [[Schleswig-Holstein]] und studierte [[Informatik]], [[Mathematik]] und [[Logik]] an der [[Christian-Albrechts-Universität Kiel]], wo er 1981 als akademischer Schüler von [[Hans Langmaack (Informatiker)|Hans Langmaack]] zum Thema ''Charakterisierung [[Tony Hoare|Hoare]]<nowiki></nowiki>scher Systeme für [[Algol 68|ALGOL]]-ähnliche [[Programmiersprache]]n'' [[Promotion (Doktor)|promovierte]]. Nach einigen Forschungsaufenthalten im Ausland (u.&nbsp;a. bei der Programming Research Group der [[University of Oxford]] und in Amsterdam, Edinburgh, Yorktown Heights und Saarbrücken) habilitierte er im Jahr 1989 ebenfalls in Kiel. Seit 1989 lehrt Olderog am Fachbereich Informatik (seit 1. April 2003: Department Informatik). Von 1995 bis 2005 war Olderog Vorsitzender der ''[[International Federation for Information Processing|IFIP]] Working Group 2.2 on Formal Description of Programming Concepts''. Olderog war Herausgeber der Zeitschrift ''Acta Informatica'' und ist seit 2012 Mitglied der [[Academia Europaea]].<ref name="bio">[https://uol.de/csd/persons/prof-dr-ernst-ruediger-olderog Curriculum Vitae von Olderog auf den Seiten der Universität Oldenburg].</ref><br />
Von 2012 bis 2021 war Olderog Sprecher des Graduiertenkollegs SCARE (I+II) und von 2017 bis 2019 bekleidete er das Amt des Dekans der Fakultaet II.<br />
<br />
=== Auszeichnungen und Preise ===<br />
* Im Jahr 1994 wurde Olderog gemeinsam mit seinem Kollegen [[Manfred Broy|Manfred H. B. Broy]] mit dem mit drei Millionen DM dotierten [[Gottfried-Wilhelm-Leibniz-Preis|Leibniz-Preis]] der [[Deutsche Forschungsgemeinschaft|DFG]] ausgezeichnet.<br />
* 1995–2005 war er Vorsitzender der ''[[International Federation for Information Processing|IFIP]] Working Group 2.2 on Formal Description of Programming Concepts''<br />
* 1998 erhielt er für seine Arbeit in der Working group den Silver Core Award der [[International Federation for Information Processing|IFIP]]<br />
* war er Herausgeber der Zeitschrift ''Acta Informatica''<br />
* seit 2012 ist Olderog Mitglied der [[Academia Europaea]].<br />
* 2015 wurde an der [[Carl von Ossietzky Universität Oldenburg]] ein Symposium mitsamt einer Festschrift anlässlich seines 60. Geburtstages veranstaltet.<br />
<br />
== Bücher ==<br />
* E.-R. Olderog. ''Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship''. [[Cambridge University Press]], Cambridge, 1991. ISBN 0-521-01845-5.<br />
* E.-R. Olderog und [[Henning Dierks]]. ''Real-Time Systems – Formal Specification and Automatic Verification''. Cambridge University Press, 2008. ISBN 978-0-521-88333-7.<br />
* [[Krzysztof. R. Apt]], [[Frank. S. de Boer]] und E.-R. Olderog. ''Verification of Sequential and Concurrent Programs''. Springer-Verlag, Berlin, 3. Auflage, 2009. ISBN 978-1-84882-744-8.<br />
* {{Literatur<br />
| Autor=Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog<br />
| Titel=Provably Correct Systems<br />
| Auflage=<br />
| Verlag=Springer Science+Business Media<br />
| Ort=<br />
| Datum=2017<br />
| ISBN=978-3319486277<br />
| Seiten=<br />
}}<br />
<br />
== Weblinks ==<br />
* [https://uol.de/csd/about Homepage der Abteilung ''Entwicklung korrekter Systeme'' an der Carl-von-Ossietzky-Universität Oldenburg]<br />
* [https://uol.de/csd/persons/prof-dr-ernst-ruediger-olderog Homepage von Ernst-Rüdiger Olderog]<br />
* [https://uol.de/scare Graduiertenkolleg SCARE]<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=136626890|LCCN=n/88/629264|VIAF=22243882}}<br />
<br />
{{DEFAULTSORT:Olderog, Ernst-Rudiger}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Hochschullehrer (Carl von Ossietzky Universität Oldenburg)]]<br />
[[Kategorie:Leibnizpreisträger]]<br />
[[Kategorie:Mitglied der Academia Europaea]]<br />
[[Kategorie:Person (Kreis Rendsburg-Eckernförde)]]<br />
[[Kategorie:Deutscher]]<br />
[[Kategorie:Geboren 1955]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Olderog, Ernst-Rüdiger<br />
|ALTERNATIVNAMEN=<br />
|KURZBESCHREIBUNG=deutscher Informatiker, Professor für [[Theoretische Informatik]] an der [[Carl-von-Ossietzky-Universität]] [[Oldenburg (Oldenburg)|Oldenburg]]<br />
|GEBURTSDATUM=1955<br />
|GEBURTSORT=<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Thomas Dresler