1. Research
  2. PLanCompS: PLanCompS: Programming Language Components and Specifications

    Johnstone, A., Scott, E., Reddington, J. & Walsh, R.

    Eng & Phys Sci Res Council EPSRC: £491,077

    1/06/1131/05/15

    Project: Research

  3. Polytope methods in parameterized complexity

    Wahlström, M.

    Eng & Phys Sci Res Council EPSRC: £100,848

    1/12/1631/12/17

    Project: Research

  4. Preprocessing for Optimisation Problems Parameterized Above/Below Tight Bounds

    Gutin, G. & Yeo, A.

    Royal Society: £11,900

    1/12/1030/11/12

    Project: Research

  5. Pythagoras I: Pythagoras I: Machine support for semi-formalised proof oriented mathematics

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £187,000

    1/10/0230/09/04

    Project: Research

  6. Pythagoras II: Pythagoras II: Machine support for semi-formalised proof oriented mathematics

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £83,200

    1/10/0431/12/06

    Project: Research

  7. South Africa-UK Science Networks phase II Visitor Prof M Henning

    Yeo, A.

    Royal Society: £1,892

    15/07/0830/07/08

    Project: Research

  8. Subtyping, inheritance, and reuse

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £128,000

    1/10/9631/03/00

    Project: Research

  9. The complexity of valued constraints

    Cohen, D.

    Eng & Phys Sci Res Council EPSRC: £187,510

    1/10/071/10/10

    Project: Research

  10. Tractability of Constraint Problems: Unification, Extension and Applicability

    Cohen, D.

    Eng & Phys Sci Res Council EPSRC: £184,409

    1/10/0530/09/08

    Project: Research

  11. Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture

    Stathis, K.

    Centre for Defense Enterprise: £69,565

    28/11/1127/05/12

    Project: Research