Hans van Ditmarsch
University of Toulouse, CNRS, IRIT
Hans van Ditmarsch is senior researcher at CNRS, France. He has previously 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). He has also been associated researcher at Institute of Mathematical Sciences, Chennai, India, for many years. His PhD is from the University of Groningen. His research is on the dynamics of knowledge and belief, information-based security protocols, modal logics, and combinatorics. He has frequently taught at ESSLLI summer schools, and he was an organizer or chair of events such as LOFT, M4M, ESSLLI, Tools for Teaching Logic, and LORI. He has been an editor of the Journal of Philosophical Logic. He is an author of the textbook and monograph Dynamic Epistemic Logic, an editor of the Handbook of Epistemic Logic, and an author of the logic puzzles book One Hundred Prisoners and a Light Bulb. He has been the recipient of an ERC (European Research Council) starting grant Epistemic Protocol Synthesis.
user profile on Google Scholar
DBLP (Computer Science Bibliography) account
editorial board member, Synthese
One hundred prisoners and a light bulb. A logic puzzle book, available in Dutch, English, Japanese, and Chinese.
Logica voor informatica (textbook 'Logic for computer science', in Dutch)
textbook/monograph Dynamic Epistemic Logic , by Springer; publisher page
Logic in Action Open Course Project , transparencias en español
Revised 1 January 2023