Hans van Ditmarsch

University of Toulouse, CNRS, IRIT

France

https://sites.google.com/site/hansvanditmarsch/

https://www.irit.fr/departement/intelligence-artificielle/equipe-lilac/

Email :  hansvanditmarsch@gmail.com 

OUT OF DATE, DO NOT USE: hans.vanditmarsch@ou.nl, hans.van-ditmarsch@loria.fr, hvd@us.es, hans@cs.otago.ac.nz. 

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.

Research

Teaching

Revised 17 July 2024