Jan van Eijck, born in Gilze-Rijen, the Netherlands, in 1951. Senior Researcher at CWI (Centre for Mathematics and Computer Science), Amsterdam and Professor of Computational Linguistics at the Research Institute for Language and Speech (Uil-OTS), Utrecht.
Fellow (1 September 2006 – 31 January 2007)
GAMES, ACTION, AND SOCIAL SOFTWARE
The main topics of my NIAS research were (i) exploring connections between the logic of knowledge and logic of perception, (ii) development of a theory of agency and causality, with causal links modelled as global constraints on how states of affairs can evolve, (iii) establishing links between communication protocol verification and epistemic logic, with communication protocols taken in the sense of computer science, (iv) work on dynamic epistemic modelling and its implementation in a computer program DEMO, (v) theory of update actions (‘When do two communicative actions have the same update effects in every possible situation?’), and (vi), slightly out of focus: formal language theory (development of the framework of sequential indexed grammars).