Ernst-Rüdiger Oldenrog - Curriculum Vitae#

• Since Oct. 2012: Director of the Research Training Group SCARE (System Correctness under Adverse Conditions) at the University of Oldenburg, funded by the German Research Foundation (DFG)
• Summer 2009: Resarch visit at SRI International and Kestrel Institute, Palo Alto
• Oct. 2008-Sept. 2010: Director of the Graduate School TrustSoft (Trustworthy Software Systems) at the University of Oldenburg, funded by the German Research Foundation(DFG)
• Winter 2004/05: Visiting professor at ETH Zürich
• Since 2004: Coordinator of the Project Area "Real-Time" of the Collaborative Research Center AVACS (Automatic Verification and Analysis of Complex Systems) of Oldenburg, Freiburg, and Saarbrücken, funded by the German Research Foundation (DFG)
• Since 2000: Editor-in-Chief of the journal Acta Informatica
• 1995-2005: Chairman of IFIP Working Group 2.2 on "Formal Description of Programming Concepts"
• Since 1994: Professor (C4) at the Department of Computing Science of the University of Oldenburg
• 1994: Leibniz Prize of the German Research Council (DFG)
• 1989-1994: Professor (C3) at the Department of Computing Science of the University of Oldenburg
• 1989: Habilitation in Computer Science at the University of Kiel
• 1984-1989: Various research stays in Amsterdam, Edinburgh, Yorktown Heights, and Saarbrücken
• 1983-1989: University assistant (C1) at the University of Kiel
• 1981-1983: Visiting scientist at the Programming Research Group of Oxford University
• 1981: Doctoral degree in Computer Science at the University of Kiel, dissertation "Characterization of Hoare's Logic for Algol-like Programming Languages" (in German)
• 1979: Diploma (Master) in Computer Science at the University of Kiel