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

• • user profile on Google Scholar

  • DBLP (Computer Science Bibliography) account

  • editorial board member, Synthese

  • My Erdös number is 2.

Teaching

• • 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, an open course in logic

  • Current PhD students: Raphaela Butz, Krisztina Fruzsa, Rojo Randrianomentsoa, Diego Velázquez, Bea Waelbers.  Past PhD students: personal page at the Mathematics Genealogy Project.

Revised 15 January 2024