Hans van Ditmarsch

BP 239
54506 Vandoeuvre-lès-Nancy

tel +33 354958585 / fax +33 383278319

Hans van Ditmarsch obtained a PhD at the University of Groningen in 2000. He lectured at the University of Otago from 2001-2007 and remained affiliated to that university until 2010. In 2007-2008 he was a CNRS researcher at IRIT (Institut de Recherche en Informatique de Toulouse) and in 2008 a Lorentz Fellow at NIAS (Netherlands Institute for Advanced Study in the Humanities and the Social Sciences). In 2009 he joined the University of Sevilla as a senior researcher on a five year (2009-2014) project on unconditionally secure protocols. December 2012 he joined LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications), Nancy, as a senior researcher, where he is heading the section (equipe) called CELLO (for: Computational Epistemic Logic in LOrraine). From 2010 onward he has been an associated researcher at IMSc (Institute of Mathematical Sciences), Chennai. His research is on the dynamics of knowledge, information-based security protocols, modal logics for belief revision, proof tools for epistemic logics, combinatorics, and computer and information science education. Since 1996 he has regularly contributed to ESSLLI with graduate courses and workshops and was a co-chair of ESSLLI Hamburg 2008. He has also taught at NASSLLI Bloomington 2010 and ISLA Hyderabad 2010. Conferences that he has organized and chaired include 7th M4M Osuna 2011, 3rd Tools for Teaching Logic Salamanca 2011, 3rd LORI Guangzhou 2011, and 11th LOFT Sevilla 2012. He has given keynote presentations at, among other occasions, 16th EBL Petropolis 2011, 19th WoLLIC Buenos Aires 2012, SAICSIT 2012 Tschwane, and 29th ICLP Istanbul 2013.

For more information, see my Curriculum Vitae.


I am the holder of ERC starting grant 313360 EPS, called Epistemic Protocol Synthesis (project description). This five year project (2013-2018) started February 2013, at LORIA Nancy. It is executed in the section (equipe) CELLO, which stands for: Computational Epistemic Logic in LOrraine.


Revised 14 June 2014