Jan Willem Klop new KNAW member

CWI's Prof. dr. Jan Willem Klop has been elected as a member of the KNAW (Royal Netherlands Academy of Arts and Sciences). Klop is researcher at CWI and the Catholic University Nijmegen, and professor of Applied Logic at the Vrije Universiteit in Amsterdam. In 2002, he received a doctor honoris causa degree at the English University of East Anglia. He cooperated with Jan Bergstra and Jos Baeten on the development of process algebra (ACP). Currently he works in the area of term rewriting systems, amongst others as co-author of the impressive book 'Term Rewriting Systems'.