Hans van Ditmarsch

Short biography
Hans van Ditmarsch completed a Master Degree in Mathematics with Dirk van Dalen and a Master Degree in Philosophy with Jan Bergstra, at the University of Utrecht, the Netherlands, in 1986, with a combined thesis on various uses of abstraction in expert systems and argumentation. He lectured and worked in course development from 1989-1994 at the Faculty of Technical Sciences, the Open University of the Netherlands, and subsequently lectured from 1994-2001 at the Computer Science and Artificial Intelligence Departments at the University of Groningen, also in the Netherlands. In 1996 he also started a PhD at the University of Groningen on a part-time basis, which he completed in 2000, under the supervision of Johan van Benthem (Universities of Amsterdam and Stanford) and Gerard Renardel. In his PhD Thesis, that is published in the ILLC dissertation series of the University of Amsterdam, he presents a language for dynamic epistemic logic and applications of that language to modelling games. Subsequently, he spent the first half of 2001 at the Computer Science Department of the University of St Andrews, Scotland. He joined the Computer Science Department of the University of Otago, New Zealand, in 2001; became a senior lecturer there early 2007, and shortly after that an honorary senior lecturer. In 2007 and 2008 he also was a CNRS associated researcher (chercheur associé) at IRIT (Institut de Recherche en Informatique de Toulouse), University of Toulouse, France; and a Lorentz Fellow at the Netherlands Institute for Advanced Study in the Humanities and the Social Sciences ( NIAS ), Netherlands. After a short stay at the Computing Science Department of the University of Aberdeen during the first half of 2009, he joined the University of Seville as a senior researcher on a five year project on unconditionally secure protocols . His research focusses 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.

University of Sevilla

For up to date information, please see my homepage http://personal.us.es/hvd/ at the University of Sevilla. My preferred email address is hvd@us.es .