Jan Willem Klop
| Jan Willem Klop | |
|---|---|
| Born |
December 19, 1945 Gorinchem |
| Thesis | Combinatory Reduction Systems (1980) |
| Doctoral advisor | Dirk van Dalen, Henk Barendregt |
| Doctoral students | Jörg Endrullis, Clemens Grabmayer, Jeroen Ketema, Massimo Marchiori, Aart Middeldorp, Robert Jan van Glabbeek, Vincent van Oostrom, Femke van Raamsdonk |
| Notable awards | University of East Anglia honorary doctorate (2002), IFIP WG 1.6 honorary member (2011) |
| Spouse | Marianne Leicher |
| Children | Maartje (1976) |
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
where
Klop became a member of the Royal Netherlands Academy of Arts and Sciences in 2003.
...
Wikipedia