Ernst-Rüdiger Olderog#
| Membership Number: | 3148 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2012 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | 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
