Theory of Computing

Department of Computer Science, King's College London

PORGY - Interactive Analysis and Visualisation of Port Graph Rewriting Systems

Associated team: GRAVITE group (INRIA Bordeaux) and Theory of Computing group (King's College London).

Dependent types for nominal terms

Royal Society International Joint Project (King's College London, University ORT Uruguay)

Implementing access control mechanisms using rewrite techniques

A Marie Curie Action research project based at King's College London funded by the 6th European Community Framework Programme.

Visual programming.

Ian Mackie and Jorge S. Pinto (PIs), funded by the British Council, Treaty of Windsor programme 2007-2008.

NETWORK: Semantics of Quantum Computation

Principal investigator: Ian Mackie
EPSRC EP/E006833/1, June 2006 - May 2009, total value at King's: £48,933

Linearity: Programming Languages and Implementations

Implementation techniques for the Rewriting Calculus

Computational Applications of Nominal Sets (CANS)

Principal investigator: Maribel Fernández
Co-Investigators: Ian Mackie
EPSRC EP/D501016/1 , 1 October 2005 - 30 September 2009, total value at King's: £105,282

Knowledge representation and reasoning about distances

Principal investigator: Michael Zakharyaschev
Co-Investigators: Anatoli Degtyarev, Agi Kurucz, Ian Hodkinson (Imperial College)
EPSRC GR/S61973/01, August 2004 - July 2007, total value at King's: £196,021
Research Assistant: Mikhail Sheremet
Collaborators: Professor Frank Wolter (University of Liverpool)

Dynamic ontologies: a framework for service descriptions

Principal investigator: Michael Zakharyaschev
Co-Investigators: Anatoli Degtyarev, Agi Kurucz
EPSRC GR/S63175/01, April 2004 - March 2007, total value at King's: £162,220
Research Assistant: Roman Kontchakov
Collaborators: Professor Ian Horrocks (University of Manchester) and Professor Frank Wolter (University of Liverpool)

Complexity analysis of reasoning in combined knowledge representation systems

Principal investigator: Michael Zakharyaschev
EPSRC GR/R42474/01, October 2001 - September 2004, total value at King's: £65,350
Research Assistant: David Gabelaia

Analysis and Mechanisation of Decidable First-Order Temporal Logics

Principal investigator: Michael Zakharyaschev
Co-Investigators: Anatoli Degtyarev, Dov Gabbay, Ian Hodkinson (Imperial College)
EPSRC GR/R45369/01, October 2001 - March 2004, total value at King's: £176,028
Research Assistant: Roman Kontchakov
Collaborators: Professor Michael Fisher (University of Liverpool)

Knowledge representation and reasoning (a logical approach)

Principal investigator: Michael Zakharyaschev
Funded by the Japan Society for the Promotion of Science (JSPS) and the British Council in the framework of the "Invitation Program for British Professors," October - November 2004
Collaborators: Professor Hiroakira Ono, JAIST, Japan