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

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

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

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

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

  6. Classical Dependant Type Theories

    Adams, R.

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

    1/03/1230/09/13

    Project: Research

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

    Stathis, K.

    Centre for Defense Enterprise: £69,565

    28/11/1127/05/12

    Project: Research

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

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

  10. Lexical Semantics in Type Theory with Coercive Subtyping

    Luo, Z.

    Leverhulme Trust: £147,661

    1/06/1131/05/14

    Project: Research

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

  12. VENUS C Project

    Shanahan, H.

    European Union: £21,999

    1/06/1131/05/12

    Project: Research

  13. 2iC Run Time technical prototype including Service Registery

    Stathis, K.

    South East England Development Agency: £12,000

    12/04/1111/07/11

    Project: Research

  14. Composing Learning for Artificial Cognitive Systems

    Watkins, C.

    European Union: £266,427

    1/03/1128/02/15

    Project: Research

  15. The Decision Theory of Hiring and Firing Advisors

    Vovk, V.

    Netherlands Organisation for Scientific Research: £123,539

    1/02/1131/01/13

    Project: Research

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

    Gutin, G. & Yeo, A.

    Royal Society: £11,900

    1/12/1030/11/12

    Project: Research

  17. Intelligent Agent Technology for Service Grids - II

    Stathis, K. & Dean, J.

    Unknown: £15,000

    1/05/1031/12/10

    Project: Research

  18. Living with uninvited guests-comparing palnt and animal responses to endocytic invasions

    Jansen , V. A. A., Gammerman, A. & Soloviev, M.

    Biotechnology&BioSci Research BBSRC: £704,348

    15/04/1014/04/13

    Project: Research

  19. Development of novel method for prediction of plant Pol 11 promoters

    Solovyev, V.

    Royal Society: £3,000

    1/02/107/03/10

    Project: Research

  20. Intelligent Agent Technology for Service Grids - I

    Stathis, K. & Dean, J.

    Unknown: £36,000

    1/07/0928/02/10

    Project: Research