1. Lexical Semantics in Type Theory with Coercive Subtyping

    Luo, Z.

    Leverhulme Trust: £147,661

    1/06/1131/05/14

    Project: Research

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

    Yeo, A.

    Royal Society: £1,892

    15/07/0830/07/08

    Project: Research

  3. Argumentation as a foundation for the semantic grid

    Stathis, K.

    European Union: £200,310

    1/06/0631/05/09

    Project: Research

  4. 3D Modelling of Agent-Based Web-Services for E-Retailing Project

    Stathis, K.

    London Development Agency: £8,000

    26/03/0726/09/07

    Project: Research

  5. Path finding in Virtual Worlds

    Stathis, K.

    London Development Agency: £8,000

    1/12/0730/04/08

    Project: Research

  6. Type-theoretic foundation of mathematical pluralism

    Luo, Z.

    Leverhulme Trust: £56,235

    1/10/0630/09/09

    Project: Research

  7. Machine learning for resource management in next-generation optical networks

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £116,637

    1/10/0630/09/09

    Project: Research

  8. Explosive trace detection with an odour capture hybrid sensor system

    Luo, Z.

    Royal Society: £10,000

    1/04/0931/03/11

    Project: Research

  9. Parameterized problems on directed graphs

    Gutin, G.

    Eng & Phys Sci Res Council EPSRC: £344,495

    1/09/0731/08/10

    Project: Research