Ernst-Rüdiger Olderog#


Ernst-Rüdiger Olderog
Email:olderog 'at' informatik.uni-oldenburg.de
Membership Number:3148
Membership type:ORDINARY
Main Country of Residence:GERMANY
Section:INFORMATICS
Username:eolderog
Homepage: http://csd.informatik.uni-oldenburg.de





Present and Previous Positions
  • since 1994/04: Professor C4, Univ. Oldenburg
  • 2004/10 - 2005/05: Visiting Professor, ETH Zürich
  • 1989/10 - 1994/03: Professor C3, Univ. Oldenburg
  • 1989/04 - 1990/09: Professor (part time), Univ. Amsterdam
  • 1989/04 - 1989/09: Researcher, CWI Amsterdam
  • 1986/04 - 1986/07: Visiting Scientist, Univ. Saarbrücken
  • 1983/10 - 1989/09: University Assistant C1, Univ. Kiel
  • 1981/10 - 1983/09: Visiting Scientist, Oxford Univ.
  • 1980/10 - 1981/09: Research Assistant, Univ. Kiel

Fields of Scholarship

  • Formal methods for specification, verification, and design of reactive systems
  • Verification of sequential and concurrent programs
  • Development methods for real-time systems
  • Combination of specification methods for processes, time and data
  • Decomposition of correctness proofs for hybrid systems in traffic applications

Honours and Awards
  • 1994: Leibniz Prize of the German Research Foundation (DFG) with laudatio mentioning work on Hoare's logic and process theory
  • 1983: Elected member of IFIP Working Group 2.2 on "Formal Description of Programming Concepts"
  • 1982: Award for the best doctoral dissertation by the Faculty for Mathematics and Natural Science of the University of Kiel

Imprint Privacy policy « This page (revision-7) was last updated on Monday, 1. October 2012, 11:45 by Kaiser Dana
  • operated by