This webpage is no longer actively maintained. An updated webpage is found on https://sites.google.com/site/hansvanditmarsch/ .
Teaching Record | Publications | Academic Service | Curriculum Vitae | Petrarca
hans.van-ditmarsch@loria.fr
Short biography
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. From 2010-2016 he is an associated researcher at IMSc (Institute of Mathematical Sciences), Chennai. December 2012 he joined LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications), Nancy, as a senior researcher. 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.
Editor / editorial board (these journals very much welcome your submissions)
ERC starting grant
I am the holder of an ERC starting grant, called Epistemic Protocol Synthesis. This five year project (2013-2018) started February 2013, at LORIA Nancy. See https://sites.google.com/site/hansvanditmarsch/ .
Research groups and associations