Jan Willem Klop - Curriculum vitae#

Jan Willem Klop (1945, Gorinchem) attended the Stedelijk Gymnasium (β) in ‘s-Hertogenbosch, and studied mathematical logic at Utrecht University, obtaining his Masters (cum laude) in 1975 and his Ph.D. in 1980 on the Ph.D. thesis ‘Combinatory Reduction Systems’ supervised by promotor Dirk van Dalen and Henk Barendregt. In 1970 and 1971 he was in military service, graduating as sergeant. In 1979 and 1980 he was employed at the teachers training institute SOL (Stichting Opleiding Leraren) in Utrecht, teaching mathematics. Since 1980 he is connected to CWI Amsterdam and since 1986 Professor of Applied Logic at the Vrije Universiteit (VU) Amsterdam. From 1998 until 2007 he was part-time connected to the group Foundations led by Henk Barendregt at the Radboud University Nijmegen. From 1998 until 2004 he was chairman of the Dutch Association for Theoretical Computer Science (NVTI). From 1999 to 2004 he was head of the section theoretical computer science of the VU. From 2002 to 2004 he was head of the department of computer science of the VU. In 2002 he received a honorary doctorate at the University of East Anglia, England, with Ronan Sleep as promotor h.c. Since 2003 he is a member of the Royal Dutch Academy of Sciences (KNAW), section Mathematics, since September 2006 as secretary of the section. Since 2005 he is a fellow of CWI Amsterdam. In March 2007 he went with emeritate via early retirement (FPU). Since December 2010 he is retired.

Jan Willem Klop is married (1975) to Marianne Leicher. Daughter Maartje (1976).