Jan Willem Klop | |
---|---|
Born | |
Spouse | Marianne Leicher |
Children | Maartje (1976)[1] |
Awards | University of East Anglia honorary doctorate (2002), IFIP WG 1.6 honorary member (2011) |
Scientific career | |
Thesis | Combinatory Reduction Systems (1980) |
Doctoral advisor | Dirk van Dalen, Henk Barendregt |
Doctoral students | Massimo Marchiori |
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[2] and his fixed point combinator[3]
where
Klop became a member of the Royal Netherlands Academy of Arts and Sciences in 2003.[4]