!!!Jan Aldert Bergstra \\ %%(float:left;margin-left:20px;margin-right:30px;) [{Image src='bergstra_jan_small.jpg' alt='Jan Aldert Bergstra' height='200'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ __Present and Previous Positions__ *2017 - present Professor emeritus at UvA *1985 - 2017 Professor of programming and software engineering at the University of Amsterdam *1985 - 2007 Professor of applied logic at Utrecht University department of philosophy *1982 - 1985 senior researcher at the Centre of Mathematics and Computer Science in Amsterdam (CWI, then called the Mathematical Centre or simply MC) *1976 - 1982 senior researcher at the Institute of Applied Mathematics and Computer Science of the University of Leiden \\ __Fields of Scholarship__ [{AcadMemberFOScholarshipPlugin}] \\ __Honours and Awards__ %%(display:none;) INSERT YOUR HONOURS AND AWARDS HERE AS SHOWN BELOW (EACH AWARD ETC. PRECEDED BY AN ASTERISK) *Member of Academia Europaea (2006) *etc. %% *2002 Honorary visiting professor Swansea University *2006 Member of Academia Europaea *May 2011 Member of the [Koninklijke Nederlandse Academie van Wetenschappen|http://www.knaw.nl/smartsite.dws?id=25792&lang=NL], the National Academy of The Netherlands \\ \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Bergstra_Jan/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Bergstra_Jan/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Bergstra_Jan/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] -->[Other information|User/Bergstra_Jan/OtherInformation] %% %% [{ALLOW view All}][{ALLOW edit jbergstra}][{ALLOW upload jbergstra}][{ALLOW comment All}]