Jan Willem Klop


Jan Willem Klop 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
where
Klop became a member of the Royal Netherlands Academy of Arts and Sciences in 2003.

Selected publications

*