Full name: Jan van Eijck
Formal name: Prof.dr. D.J.N. van Eijck
Function: Scientific Staff Member

Email: Jan.van.Eijck@cwi.nl
Telephone +31(0)20 592 4052
Room:  L227
Homepage:  http://homepages.cwi.nl/~jve
Research groups:
(SEN1) Software Analysis and Transformation

Research

Jan van Eijck does research in applications of logic in linguistics and in formal theories of communication. His current interests are the logic of knowledge and communication, epistemic model checking, and computational semantics with functional programming.

Career

2004 -	Scientific staff member SEN1 - Software Analysis and Transformation
1997 - 2003	Project leader INS0 - Standardization and Knowledge Transfer
1997 - 2002	Scientific Director, Dutch Research School in Logic (OzsL)
1990 - 2011	Professor Computational Linguistics, Utrecht University
1989 - 1995	Project leader AP5 - Logic and language
1987 - 1989	Senior researcher, SRI International, Cambridge, UK
1984 - 1987	Senior lecturer Computational Linguistics, Tilburg University

Selected Awards and Honours

2006	NIAS Fellowship

Selected Academic Activities

2009	Organizer Amsterdam, The Netherlands - Amsterdam Colloquium, Workshop on natural logic
2008	Co-organizer Leiden, The Netherlands - Lorentz Workshop -- logic and information security
2006	Co-organizer Leiden, The Netherlands - Lorentz Workshop -- Games, action and social software

Selected Publications

D.J.N. van Eijck, H. Kamp. Discourse representation in context. Handbook of Logic and Language, Second Edition, 2011.

D.J.N. van Eijck. The language of social software. Synthese 177, 2010.

D.J.N. van Eijck, C. Unger. Computational semantics with functional programming. Cambridge University Press. 2010.

J. van Benthem, D.J.N. van Eijck, B. Kooi. Logics of communication and change. Information and Computation 204, 1620–1662, 2006.

All publications (link to repository)