!!!Tobias Nipkow
\\
%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='Nipkow_Tobias_small.jpg'  alt='Tobias Nipkow' height='220'}]
%%
[{AcadMemberDataPlugin}]
\\ \\
\\ \\
__Present and Previous Positions__
* 1982 - 1984 Research Assistant, Department of Computer Science, The University of Manchester
* 1984 - 1987 Lecturer, Department of Computer Science, The University of Manchester
* 1988 - 1989 Post-doctoral Associate, Laboratory for Computer Science, MIT
* 1989 - 1991 Research Associate, Computer Laboratory, University of Cambridge
* 1991 - 1992 Advanced SERC Fellow, Computer Laboratory, University of Cambridge
* 1992 - 2011 Professor for Theory of Programming, Department of Informatics, Technical University of Munich
* 2011 - now Professor for Logic and Verification, Department of Informatics, Technical University of Munich
\\
__Fields of Scholarship__
[{AcadMemberFOScholarshipPlugin}]
\\
__Honours and Awards__
*Herbrand Award for Distinguished Contributions to Automated Reasoning, 2021 [https://www.cadeinc.org/Herbrand-Award]
\\
%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Nipkow_Tobias/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Nipkow_Tobias/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Nipkow_Tobias/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Nipkow_Tobias/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit tnipkow}]
[{ALLOW upload tnipkow}]
[{ALLOW comment All}]