Jan W. Klop#


Jan W. Klop
Email:j.w.klop 'at' vu.nl
Membership Number:3062
Membership type:ORDINARY
Main Country of Residence:THE NETHERLANDS
Section:INFORMATICS
Username:jklop
Elected:2011
Homepage: 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)


Imprint Privacy policy « This page (revision-7) was last updated on Thursday, 17. January 2013, 12:18 by Kaiser Dana
  • operated by