

<pre>
!!!Ernst-Rüdiger Olderog
\\
%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='olderog-ernst-ruediger.jpg'  alt='Ernst-Rüdiger Olderog' height='200'}]
%%
[{AcadMemberDataPlugin}]

\\ \\
\\ \\
\\ \\
__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__
[{AcadMemberFOScholarshipPlugin}]
\\
__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 &quot;Formal Description of Programming Concepts&quot;
*1982: Award for the best doctoral dissertation by the Faculty for Mathematics and Natural Science of the University of Kiel
\\
%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Olderog_Ernst-Rüdiger/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Olderog_Ernst-Rüdiger/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Olderog_Ernst-Rüdiger/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Olderog_Ernst-Rüdiger/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit eolderog}]
[{ALLOW upload eolderog}]
[{ALLOW comment All}]

</pre>