Projects

Members of the Logic and Computation group have been awarded funding for the following projects (listed in reverse chronological order by starting date).

The titles are linked to the local websites for the projects.

Current projects

RCUK Fellowship

M Chen and J V Tucker, Apr 2007 – Apr 2012
£125,000, EPSRC EP/E500609/1

Abstract measures of low-level computational complexity

A Beckmann, Sep 2006 – Aug 2009
£124,993, EPSRC EP/D03809X/1

Processes and data

M Roggenbach, Aug 2006 – Jul 2009
£107,676, EPSRC EP/D037212/1

Foundations of computing with continuous data: algorithms versus experiments with physical systems

J V Tucker and E J Beggs (Maths), Jan 2006 – Dec 2008
£258,042, EPSRC EP/C525361/1

Types for proofs and programs

Site members: U Berger, A M Gimblett, M Roggenbach, M Seisenberger, A G Setzer, Sep 2004 – Apr 2008
£7472, ESPRIT

Completed projects

Computability in Europe 2006

A Beckmann and J V Tucker, May 2006 – Jun 2007
£16,425, EPSRC EP/D061172/1

British Colloquium for Theoretical Computer Science (BCTCS) 2006

F G Moller, Apr 2006 – May 2007
£7,594, EPSRC EP/D03888X/1

British Colloquium for Theoretical Computer Science (BCTCS) 2005-2007

F G Moller, Apr 2005 – Jul 2007
£24,605, EPSRC EP/C00745X/1

An algorithmic platform for efficient satisfiability based problem solving

O Kullmann, Feb 2004 – Apr 2007
£111,440, EPSRC GR/S58393/01

Extensions of dependent type theory — induction, interaction, universes

A G Setzer, Oct 2003 – Nov 2006
£123,028, EPSRC GR/S30450/01

Constructive Volume Geometry — a fundamental modelling methodology for volume graphics

M Chen and J V Tucker, Oct 2001 – Mar 2005
£190,283, EPSRC GR/R25286/01

Domain theoretic methods for program synthesis

U Berger, Apr 2001 – Apr 2004
£62,209, EPSRC GR/R16020/01

Applying Maude to equational representations of microprocessors

N A Harman, Mar 2000 – Mar 2001
£5,830, EPSRC GR/N15955/01

Visit to SRI International: Applying Maude to equational representations of microprocessors

N A Harman, May 1999 – Jun 1999
£2,250, EPSRC GR/M82202/01

Computation with continuous datatypes

J V Tucker, Oct 1998 – Oct 1999
£8,220, EPSRC GR/M39749/01

Hierarchies of spatially extended nonlinear models of physiological systems: algorithms and applications

J V Tucker, Dec 1997 – Dec 2000
£5,755, EPSRC GR/L71544/01

(Earlier projects are not listed.)