Teaching Record | Publications | Academic Service | Curriculum Vitae | Petrarca

Hans van Ditmarsch

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-2013 he is 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.

Research

My most cited works on Google Scholar, and my user profile . My DBLP (Computer Science Bibliography) account.

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

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

Upcoming conferences and workshops

• LOFT 2012 , the 10th Conference on Logic and the Foundations of Game and Decision Theory, Sevilla, Spain, 18-20 June 2012
• TARK , Chennai, January 2013

Research groups and associations

• associated researcher, Institute of Mathematical Sciences, Chennai, India, 2010-2013
• 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
• associated member, Multi-Agent Systems Group , University of Groningen
• member, Association for Symbolic Logic , and chair, committee on logic education of the ASL
• member, VvL (Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen)

Work in progress

• Hans van Ditmarsch and Tim French, Semantics for knowledge and change of awareness , under submission.
• Hans van Ditmarsch, The Ditmarsch Tale of Wonders - The Dynamics of Lying , under submission.

Teaching

• Lógica, Segundo Curso , Filosofía, Universidad de Sevilla, 2012
• supervisor of PhD-student Ignacio Hernández.
• Logica voor informatica (textbook 'Logic for computer science', in Dutch)
• overview of educational logic software
• textbook/monograph Dynamic Epistemic Logic , by Springer; publisher page
• textbook and course site Logica in Actie (in Dutch), Open University of the Netherlands; the publisher page (Academic Service) ; and the (free) eBook version
• Logic in Action Open Course Project , transparencias en español