Home
In Memoriam: Jan Willem Klop
Met grote droefheid delen wij mee dat prof. dr. J.W. (Jan Willem) Klop op 28 september 2025 op 79-jarige leeftijd is overleden. Hij was van 1980 tot zijn pensionering in 2007 verbonden aan het CWI en werd in 2005 benoemd tot CWI Fellow.
Jan Willem Klop was een vooraanstaand wetenschapper die bekend stond om zijn baanbrekend werk op verschillende gebieden van de computationele theorie.
Dankzij zijn inspanningen verscheen in 2003 een 900 pagina’s tellend boek van meerdere auteurs, ‘Term Rewriting Systems’, waarvan hij de hoofdauteur was. In een recensie merkte het Journal of Functional Programming op dat het ‘een verplichte referentie is voor iedereen die op dit gebied werkzaam is’. Jan Willem werkte ook samen met prof. dr. J.A. (Jan) Bergstra en prof. dr. J.C.M. (Jos) Baeten aan de ontwikkeling van procesalgebra (ACP, Algebra of Communicating Processes). In 2007 ging hij met vervroegd pensioen om zich volledig aan onderzoek te kunnen wijden. Zijn laatste publicatie verscheen in 2021. Tot het laatste moment bleef hij zijn plannen nastreven om boeken te schrijven die de schoonheid van Term Rewriting en lambda-calculus zouden benadrukken.
Carrière in een notendop
Jan Willem Klop werd in 1945 geboren in Gorinchem. Hij studeerde wiskundige logica aan de Universiteit Utrecht, waar hij in 1975 cum laude afstudeerde. In 1980 verdedigde hij daar zijn proefschrift ‘Combinatory Reduction Systems’, onder begeleiding van de professoren Dirk van Dalen en Henk Barendregt. Van 1979 tot 1980 gaf hij wiskunde aan het lerarenopleidingsinstituut SOL (Stichting Opleiding Leraren) in Utrecht. Van 1986 tot zijn pensionering was hij deeltijdhoogleraar aan de Vrije Universiteit (VU) Amsterdam en van 1998 tot 2007 ook deeltijdhoogleraar aan de Radboud Universiteit Nijmegen. Van 1999 tot 2004 was Jan Willem hoofd van de afdeling Theoretische Informatica aan de VU. De laatste twee jaar van die periode stond hij aan het hoofd van de faculteit Informatica. Van 1998 tot 2004 was hij voorzitter van de Nederlandse Vereniging voor Theoretische Informatica (NVTI). In 2002 ontving Jan Willem een eredoctoraat aan de Universiteit van East Anglia, Engeland. Sinds 2003 was hij lid van de Koninklijke Nederlandse Akademie van Wetenschappen (KNAW), sectie Wiskunde. In 2010 werd hij lid van de Informatica-sectie van de Academia Europaea en erelid van de IFIP-werkgroep 1.6 Rewriting.
Jan Willem was een inspirerende en toonaangevende wetenschapper die niet alleen een onuitwisbare stempel heeft gedrukt op zijn vakgebied, maar ook op het CWI. We zullen hem herinneren als een zeer vriendelijke, warme en betrokken persoon die een groot aantal promovendi begeleide. Hij was ook een uitstekend docent, bekend om zijn inspirerende colleges en uitgebreide overzichtsartikelen, die zeer gewaardeerd werden door zijn collega’s in binnen- en buitenland.
Ons diepste medeleven gaat uit naar zijn familie, vrienden en dierbaren bij dit grote verlies.
In Memoriam: Jan Willem Klop
It is with great sadness that we announce that Prof. Dr. J.W. (Jan Willem) Klop passed away on September 28, 2025, at the age of 79. He was affiliated with CWI from 1980 until his retirement in 2007 and was appointed CWI Fellow in 2005.
Jan Willem Klop was a distinguished scientist renowned for his groundbreaking work in several areas of computational theory.
Thanks to his efforts, the 900-page multi-author volume Term Rewriting Systems appeared in 2003, for which he served as the principal author. In a review, the Journal of Functional Programming described it as “a mandatory reference for anyone working in this field.” Jan Willem also collaborated with Prof. Dr. J.A. (Jan) Bergstra and Prof. Dr. J.C.M. (Jos) Baeten on the development of process algebra (ACP, Algebra of Communicating Processes). In 2007 he took early retirement to devote himself entirely to research. His final publication appeared in 2021. Until the very end, he continued to pursue his plans to write books highlighting the beauty of Term Rewriting and lambda calculus.
Jan Willem Klop — Career in Brief
Jan Willem Klop was born in 1945 in Gorinchem, the Netherlands. He studied mathematical logic at Utrecht University, where he graduated cum laude in 1975. In 1980 he defended his PhD dissertation Combinatory Reduction Systems, under the supervision of Professors Dirk van Dalen and Henk Barendregt. From 1979 to 1980 he taught mathematics at the teacher training institute SOL (Stichting Opleiding Leraren) in Utrecht. From 1986 until his retirement, he was part-time professor at the Vrije Universiteit (VU) Amsterdam, and from 1998 to 2007 also part-time professor at Radboud University Nijmegen. From 1999 to 2004, Jan Willem served as head of the Department of Theoretical Computer Science at the VU. During the final two years of that period, he also headed the Faculty of Computer Science. From 1998 to 2004, he was chair of the Dutch Association for Theoretical Computer Science (NVTI).
In 2002, Jan Willem received an honorary doctorate from the University of East Anglia, England. Since 2003, he had been a member of the Royal Netherlands Academy of Arts and Sciences (KNAW), Mathematics Section. In 2010, he became a member of the Informatics Section of the Academia Europaea and an honorary member of the IFIP Working Group 1.6 on Rewriting.
Jan Willem was an inspiring and leading scientist who left an indelible mark not only on his field, but also on CWI. We will remember him as a very kind, warm, and dedicated person who supervised many PhD students. He was also an excellent teacher, known for his inspiring lectures and comprehensive survey articles, which were highly valued by colleagues both in the Netherlands and abroad.
Our deepest sympathy goes out to his family, friends, and loved ones at this great loss.
About this website: a mission statement
This website aims to highlight and disseminate research output of the site author and companions of the last half century, situated in the areas of lambda calculus, process algebra, and term rewriting. The output consists of published papers, final or in draft; lectures, notes, manuscripts. The history of delopments will be considered, including personal comments or even feelings, in the menu about blogs, personal and scientific, with the personal blog also rendered in Dutch.
Pictures will be favoured throughout, scientific but also artistic from family members, father, daughter, grand-children.
Most items will be free to download, some of the artistic items can be ordered, including some books of author or companions. Also a collection of used books can be ordered at a craction if the original cost. Some of the downloadable items will be subject to Creative Commons License 4.0.