Recipient of an ERC (European Research Council) starting grant 'Epistemic Protocol Synthesis'; editor of the Journal of Philosophical Logic; author of the textbook and monograph Dynamic Epistemic Logic, and editor of the Handbook of Epistemic Logic; authored the logic puzzles book One Hundred Prisoners and a Light Bulb; frequently taught at ESSLLI summer schools, and organized or chaired events such as LOFT, M4M, ESSLLI, Tools for Teaching Logic, and LORI.
Research Experience
Has been based at the Open University of the Netherlands, the University of Groningen, the University of Otago, the University of Aberdeen, the University of Sevilla, and CNRS (the University of Lorraine / LORIA). Currently based at IRIT in Toulouse. Long-term associated researcher at the Institute of Mathematical Sciences, Chennai, India.
Education
PhD from the University of Groningen
Background
Senior researcher, with research interests in the dynamics of knowledge and belief, information-based security protocols, modal logics, and combinatorics.
Miscellany
Erdös number is 2; current PhD students: Clara Lerouvillois, Rojo Randrianomentsoa, Bea Waelbers.