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