1. Subtyping, inheritance, and reuse

    Luo, Z.

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

    1/10/9631/03/00

    Project: Research

  2. EU Thematic Network TYPES: Computer-assisted reasoning based on type theory

    Luo, Z.

    European Union: £107,000

    1/09/0430/04/08

    Project: Research

  3. Mathematical Vernacular

    Luo, Z.

    Leverhulme Trust: £45,000

    1/01/9730/04/99

    Project: Research

  4. 2iC Run Time technical prototype including Service Registery

    Stathis, K.

    South East England Development Agency: £12,000

    12/04/1111/07/11

    Project: Research

  5. 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

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

    Stathis, K.

    Centre for Defense Enterprise: £69,565

    28/11/1127/05/12

    Project: Research

  7. 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

  8. Groebner Basis Techniques for Constraint Satisfaction Problems

    Cohen, D. & Jeavons, P.

    30/03/0630/03/09

    Project: Research

  9. Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement

    Gerke, S.

    London Mathematical Society: £6,000

    9/04/1610/04/16

    Project: Other