Publications until 2012 | Publications from 2013 | Curriculum Vitae
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.
Editor / editorial board (these journals very much welcome your submissions)
ERC starting grant & CELLO
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.
email@example.com, personal website, Google Scholar Profile ; visiting PhD student from Peking University
firstname.lastname@example.org, personal website, DBLP comp sci bibl ; postdoc
email@example.com, personal website, DBLP comp sci bibl , Google Scholar Profile ; postdoc
firstname.lastname@example.org, personal website, DBLP comp sci bibl ; PhD student
Research groups and associations