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
Born |
19 December 1945 (age 79) Gorinchem
|
Zodiac | Sagittarius |
Tags | Add tag |