1. MAPK signalling network to adapt leaf growth to drought conditions

    Bogre, L., Paccanaro, A. & Papdi, C.

    European Commission: £177,130

    1/05/1330/04/15

    Project: Research

  2. Support of collaborative research with Professor A.E. Guterman

    Nouretdinov, I.

    Royal Holloway, University of London, Department of Computer Science: £700

    6/01/1324/01/13

    Project: Research

  3. On-line Self-Tuning Learning Algorithms for Handling Historical Information

    Kalnishkan, Y.

    Leverhulme Trust: £133,964

    1/07/1330/06/16

    Project: Research

  4. Inference of RBR network and dynamic RBR complexes during leaf development

    Paccanaro, A., Bogre, L. & Horvath, B.

    European Commission: £255,440

    1/03/1328/02/15

    Project: Research

  5. Verification of Concurrent and Higher-Order Recursive Programs

    Hague, M.

    Eng & Phys Sci Res Council EPSRC: £469,677

    1/05/1330/04/18

    Project: Research

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

  7. Mining the Network Behaviour of Bots

    Cavallaro, L., Gammerman, A., Vovk, V., Shanahan, H. & Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £680,623

    16/06/1317/04/17

    Project: Research

  8. Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems

    Gutin, G., Cohen, D. & Crampton, J.

    Eng & Phys Sci Res Council EPSRC: £602,797

    1/02/131/05/16

    Project: Research

  9. Verification and correctness of service-oriented systems

    Fiadeiro, J. L.

    Eng & Phys Sci Res Council EPSRC: £6,700

    1/10/1231/12/12

    Project: Research

  10. Development of New Venn Prediction Methods for Osteoporosis Risk Assessment

    Gammerman, A. & Vovk, V.

    Research Promotion Foundation of Cyprus: £28,215

    1/09/1131/08/13

    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

  12. Machine Learning Methods for Coal Quality Analysis based on NIR Technology

    Luo, Z. & Gammerman, A.

    Zhejiang University: £30,000

    1/11/1130/10/13

    Project: Research

  13. VENUS C Project

    Shanahan, H.

    European Union: £21,999

    1/06/1131/05/12

    Project: Research

  14. Classical Dependant Type Theories

    Adams, R.

    Eng & Phys Sci Res Council EPSRC: £98,545

    1/03/1230/09/13

    Project: Research

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

  16. 2iC Run Time technical prototype including Service Registery

    Stathis, K.

    South East England Development Agency: £12,000

    12/04/1111/07/11

    Project: Research

  17. Mathematical Vernacular

    Luo, Z.

    Leverhulme Trust: £45,000

    1/01/9730/04/99

    Project: Research

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

    Luo, Z.

    European Union: £107,000

    1/09/0430/04/08

    Project: Research

  19. Subtyping, inheritance, and reuse

    Luo, Z.

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

    1/10/9631/03/00

    Project: Research

  20. An open proof checker based on type theory

    Luo, Z.

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

    1/08/9931/12/02

    Project: Research