curriculum vitae Hans van Ditmarsch

academic degrees

jobs

job details, Open University of the Netherlands, 1989 - 1994

As a lecturer at the Department of Technology, Open University of the Netherlands, I was mainly involved in course development. My duties involved planning and coordinating the development of new courses, and actively writing parts of courses and textbooks, distance teaching and tutoring of students, and the making and marking of examinations. I contributed to the courses: Logic, Knowledge-based systems, Logic programming, Logic and computer science, Knowledge-based systems 2, and Capita Selecta in Technology. Logic programming is based on the course Intensive Prolog from the British Open University. Also related to course development were my contributions to the textbooks (both in Dutch, also for non-distance teaching) Logica voor informatici (J.F.A.K. van Benthem, H.P. van Ditmarsch, et al.,'Logic for computer science', Addison-Wesley, Amsterdam 1991) and Kennissystemen (L. Steels, 'Knowledge-based systems', Addison-Wesley, Amsterdam 1991). The first was used as a textbook for the Open University courses 'Logic' and 'Logic and computer science'. This textbook has been used at the majority of Dutch universities, and still is (in 2010) in use in the Netherlands and in Belgium. A second edition has appeared in 1994, a revised third edition has appeared in 2003, and an unrevised fourth edition has appeared in 2007. The other textbook, Knowledge-based systems, was used as a textbook for the course Knowledge-based systems. I contributed to the text and edited the Dutch translation.

job details, University of Groningen, 1994 - 2001

I lectured in Groningen University at the departments of Computing Science, and of Cognitive Science and Engineering (currently named Artificial Intelligence) on various topics: introductory and advanced logic courses, logic programming, knowledge-based systems, cognitive engineering, artificial intelligence, game theory. In 1994-1995 I was (co)secretary of the Dutch Graduate School in Logic and project manager of HCM DeStijl, an EC-funded research project in the area of Formal Specification Languages. In 1995 I was involved in an internationalization project at the Vrije Universiteit Amsterdam, for possible cooperation between their computer science department and that of Manchester University, at MSc level. From 1996-1999 I was project coordinator of the interuniversity course development project BOK (Brede Onderwijsinnovatie Kennistechnologie), in the area of formal and knowledge-based systems education. The results of this project were various courses on logic, logic programming, and knowledge-based systems, and an electronic database for course retrieval. In 1996 I started on a PhD in Groningen in the area of epistemic logic and games, on a part-time basis. My supervisors were Gerard Renardel (Groningen University) and Johan van Benthem (Amsterdam University and Stanford University). September - December 1996 I spent in Edinburgh at the Human Communications Research Centre, on invitation by Keith Stenning. March 1998 and, again, April-June 2000 I spent at CSLI, Stanford University. The thesis defence was on 20 November 2000. From January to June 2001 I was based at the School of Computer Science, University of St Andrews, Scotland, on invitation by Roy Dyckhoff.

job details, University of Otago, 2001-2007

October 2001 I became a lecturer at the Computer Science Department of the University of Otago, Dunedin, New Zealand. I have been involved there in various courses on logic and AI, including for massive numbers of students: in 2002 and 2003 I lectured in a first-year undergraduate course 'Introduction in Information Technology' (COMP101), to large groups of hundreds of students. I obtained a William Evans Fellowship on behalf of Wiebe van der Hoek, Liverpool University, who visited Otago from September to November 2002. Together with Stephen Cranefield (Information Science) and Willem Labuschagne (Computer Science) I organized a workshop 'Logic And Multi-Agent Systems' (LAMAS) during Wiebe's visit. I was in the local organizing committee of the Australasian Computer Science Week 2004 (ACSW 2004), in that year organized in Dunedin, and also organized the Annual Conference of the Australasian Association of Logic (AAL 2004) (collocated with ACSW 2004) and was president of the AAL in 2004. I was the recipient of a University of Otago Research Grant in 2003, and in 2004 of an AOARD Research and Development Contract, on the topic of cryptology for ideal agents. From March to May 2006 I spent a sabbatical period at the 'Institut de Recherche en Informatique de Toulouse' (IRIT), on invitation by Andreas Herzig. December 2006 and January 2007 I participated in the research theme group 'Games, Action, and Social Software' (in a subproject on algorithmics) at the Netherlands Institute of Advanced Studies in the Humanities (NIAS), on invitation by Rineke Verbrugge en Jan van Eijck. February 2007 I was promoted to senior lecturer. June 2007 I had a visiting position at IRIT, Toulouse, for collaboration on information security. From July 2007 onward my position at the Computer Science Department of the University of Otago was that of an honorary senior lecturer, for a period of three years.

job details, 2007-2009

Different periods in 2007 and 2008 I was an associated researcher at IRIT ('Institut de Recherche en Informatique de Toulouse'), France. February-June 2008 I was a Lorentz Fellow at the Netherlands Institute of Advanced Study, on the topic of Unconditionally Secure Protocols. For a short period in 2009 I was a lecturer at the Computing Science Department of the University of Aberdeen, Scotland.

job details, University of Sevilla, 2009-now

In 2009 I took up a position of senior researcher (Investigador de Reconocida Valia) at the University of Sevilla in Spain. This is a five year project on unconditionally secure protocols funded by the regional government (Junta de Andalucia). My homebase is the Faculty of Philosophy, and the department of Logic. (The full name of the department, in translation, is that of Philosophy, Logic, and Philosophy of Science.) In the mean time I have been involved in the organization of the Third International Congress on Tools for Teaching Logic, that took place June 2011 in Salamanca, and the Seventh Workshop Methods for Modalities, that took place November 2011 in Osuna (near Sevilla), and the 10th workshop LOFT, to take place June 2012 in Sevilla. In the academic year 2010-2011 I taught a 2nd year course on logic. Academic year 2010-2011 I was secretary of the management board of FoLLI (Association for Logic, Language, and Information). From 2010-2013 I am associated researcher to the Institute of Mathematical Sciences Chennai, India; an honorary position that brings me to India every year for about a month.

musical curriculum vitae

I play cello. My violoncello teachers:

I was a full member of the cello section of the Southern Sinfonia, Dunedin, from 2003 to 2007. This included concerts conducted by Shlomo Mints, and accompaniment of ballets performed by the Royal New Zealand Ballet. In 2007 I was a student in a masterclass given by Raphael Wallfish. In 2011 I was pleased to be in the PhD committee of Israel Fausto Martinez who wrote a thesis on the Bach Cello Suites.

Revised 12 January 2012