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
BP 239
54506 Vandoeuvre-lès-Nancy
France


http://personal.us.es/hvd
hans.van-ditmarsch@loria.fr
tel +33 354958585 / fax +33 383278319


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.


Research

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


Teaching



Revised 14 February 2013