Teaching Record | Publications | Academic Service | Curriculum Vitae

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 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.

Research

Editor / editorial board (these journals very much welcome your submissions)

• Australasian Journal of Logic
• Knowledge, Rationality & Action (Synthese)
• Journal of Philosophical Logic

Work in progress

• Hans van Ditmarsch, Jan van Eijck, and William Wu, One hundred prisoners and a lightbulb - logic and computation
• H.P. van Ditmarsch, J. van Eijck, F. Sietsma and Y. Wang, On the logic of lying , under submission.

Research groups and associations

• member, Grupo de Logica, Lenguaje y Informacion (Group on Logic, Language, and Information)
• project leader, Logic of unconditionally secure protocols
• member, Australasian Association for Logic
• external associate, Centre for Logic, Language and Computation (CLLC) , Victoria University of Wellington
• associated member, Multi-Agent Systems Group , University of Groningen
• member, Australasian Regional Committee, ASL (Association for Symbolic Logic); member, education committee, ASL
• hononary senior lecturer , Department of Computer Science, University of Otago, New Zealand

Other research matters

• statement of research interests and accomplishments
• list of publications
• academic service : Overview of invited talks, conference organization, reviews, etc.

Teaching

• Indian School on Logic and its Applications , Hyderabad, January 2010, lecture slides
• supervisor of PhD-student Ignacio Hernández.
• co-supervisor of PhD-student Pablo Seban (main supervisor Philippe Balbiani, IRIT, University of Toulouse).
• Logica voor informatica (textbook 'Logic for computer science', in Dutch)
• overview of educational logic software

Personal

• curriculum vitae (long biography)
• Petrarca