Jan Willem Klop (born 1945) is a professor of applied logic at Vrije Universiteit in Amsterdam.
He holds a Ph.D.
in mathematical logic from Utrecht University.
Klop is known for his work on the Algebra of Communicating Processes, co-author of TeReSe and his fixed point combinator
Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L)where
L = ?abcdefghijklmnopqstuvwxyzr.
(r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))Klop became a member of the Royal Netherlands Academy of Arts and Sciences in 2003.