!!!Jan W. Klop \\ %%(float:left;margin-left:20px;margin-right:30px;) [{Image src='klop_jan.jpg' alt='Jan W. Klop' height='200'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ \\ \\ __Present and Previous Positions__ *2010 Emeritus Professor of Applied Logic, VU University Amsterdam, the Netherlands *1986 - 2010: Professor of Applied Logic, VU University Amsterdam, the Netherlands *2002 - 2004 Head of department of computer science of VU University Amsterdam *1999 - 2004 Head of the section theoretical computer science of VU University Amsterdam *1980 - 2007 Researcher, respectively senior researcher at Mathematisch Centrum, Amsterdam, later renamed to Centrum Wiskunde & Informatica, Amsterdam *1998 - 2007 Guest researcher Radboud University Nijmegen, department Foundations *1993 - 1996 project leader project group AP4, Algebraic and Syntactic Methods, CWI Amsterdam *1996 - 1998 project leader project group SEN 2.2, Data manipulation and term rewriting, CWI Amsterdam \\ \\ __Fields of Scholarship__ [{AcadMemberFOScholarshipPlugin}] \\ __Honours and Awards__ *2002 Honorary Doctorate (Doctor of Science) at University of East Anglia, Norwich, UK *2003 Member of Royal Netherlands Academy of Arts and Sciences (Koninklijke Akademie van Wetenschappen, KNAW) *2005 Fellow of CWI, Centrum Wiskunde & Informatica, Amsterdam, The Netherlands ([http://www.cwi.nl|http://www.cwi.nl]) \\ \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Klop_Jan/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Klop_Jan/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Klop_Jan/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] -->[Other information|User/Klop_Jan/OtherInformation] %% %% [{ALLOW view All}] [{ALLOW edit jklop}] [{ALLOW upload jklop}] [{ALLOW comment All}]