Jan W. Klop#
| Membership Number: | 3062 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2011 |
| Main Country of Residence: | THE NETHERLANDS |
| Homepage(s): | http://www.cs.vu.nl/~jwk |
Present and Previous Positions
- 2010 Emeritus Professor of Applied Logic, VU University Amsterdam, the Netherlands
- 1986 - 2010: Professor of Applied Logic, VU University Amsterdam, the Netherlands
- 2002 - 2004 Head of department of computer science of VU University Amsterdam
- 1999 - 2004 Head of the section theoretical computer science of VU University Amsterdam
- 1980 - 2007 Researcher, respectively senior researcher at Mathematisch Centrum, Amsterdam, later renamed to Centrum Wiskunde & Informatica, Amsterdam
- 1998 - 2007 Guest researcher Radboud University Nijmegen, department Foundations
- 1993 - 1996 project leader project group AP4, Algebraic and Syntactic Methods, CWI Amsterdam
- 1996 - 1998 project leader project group SEN 2.2, Data manipulation and term rewriting, CWI Amsterdam
Fields of Scholarship
- Term rewriting systems
- Algebraic specifications
- Process algebra
- Communicating systems
- Infinitary rewriting
- Infinite words
Honours and Awards
- 2002 Honorary Doctorate (Doctor of Science) at University of East Anglia, Norwich, UK
- 2003 Member of Royal Netherlands Academy of Arts and Sciences (Koninklijke Akademie van Wetenschappen, KNAW)
- 2005 Fellow of CWI, Centrum Wiskunde & Informatica, Amsterdam, The Netherlands (http://www.cwi.nl
)
