31 May: fyi -- phd funding, Kings College

Index of May 2001 | Index of year: 2001 | Full index

King's College London
Department of Computer Science

PhD studentship

3-year post starting 1st October 2001.

The student will be working on the EPSRC-funded project "Complexity
analysis of reasoning in combined knowledge representation systems"
under supervision of Dr Michael Zakharyaschev (King's College London),
and also collaborating with Profs Dov Gabbay, David Makinson (King's),
and Drs Ian Hodkinson (Imperial), Agnes Kurucz (King's), and
Frank Wolter (Leipzig). The aim of this PhD project is to conduct a
systematic research of the computational behaviour of various
description logics with temporal, action, and epistemic operators, as
well as of spatio-temporal logics. Further information is available at
http://www.dcs.kcl.ac.uk/staff/mz or from Dr Zakharyaschev,
mz@dcs.kcl.ac.uk.

Some familiarity with mathematical logic and computational complexity as
well as Lisp or Prolog will be very useful.

Applicants should send (to Dr Zakharyaschev) a full CV, the name of at
least one academic referee, and a short statement in support of the
application. Closing date: 10 June 2001.

Index of May 2001 | Index of year: 2001 | Full index