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, reluctantly promoted to head of the department of computer science of the VU from 2002 to 2004. 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 2006 until 2012 as secretary of the Section. Since 2005 he is a fellow of CWI Amsterdam. He is since 2010 check member of the AE, Academia Europaea, Section Informatics, and honorary member of IFIP Working group 1.6 Rewriting. In  March 2007 he went with early emeritate, to escape management roles, in order to continue with research in term rewriting and lambda calculus and writing up to now unfinished books.