!!!Peter H. Schmitt \\ %%(float:left;margin-left:20px;margin-right:30px;) [{Image src='Schmitt_Peter.jpg' alt='Michael Huth' height='220'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ __Present and Previous Positions__ *October 2014 Professor Emeritus *1988 - 2014 Fulll professor for Theoretical Computer Science at the University of Karlsruhe (since 2006 Karlsruhe Institute of Technology) *1984 - 1988 LILOG project, IBM Germany *1983 Habilitation (2. PhD) at the University of Heidelberg *1981 Visiting researcher at the Hebrew University of Jerusalem for a month during the "International Logic Year" \\ __Fields of Scholarship__ [{AcadMemberFOScholarshipPlugin}] \\ __Honours and Awards__ *Member of the Supervisory Board of the Leibniz-Zentrum für Informatik, Schloß Dagstuhl until October 2021 \\ \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Schmitt_Peter/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Schmitt_Peter/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Schmitt_Peter/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] [Other information|User/Schmitt_Peter/OtherInformation] %% %% [{ALLOW view All}] [{ALLOW edit pschmitt}] [{ALLOW upload pschmitt}] [{ALLOW comment All}]