1. Leverhulme Trust Visiting Professorship

    Fiadeiro, J. L.

    Leverhulme Trust: £5,525

    1/05/1831/07/18

    Project: Research

  2. ABI innovation: A Graph based Approach for the Genome Wide Prediction of Conditionally Essential Genes

    Paccanaro, A.

    National Science Foundation (NSF): £13,078

    15/09/1714/09/20

    Project: Research

  3. Machine Learning for Chemical Synthesis

    Gammerman, A., Toccaceli, P., Vovk, V. & Luo, Z.

    AstraZeneca: £395,762

    1/05/1730/06/18

    Project: Research

  4. Polytope methods in parameterized complexity

    Wahlström, M.

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

    1/12/1631/12/17

    Project: Research

  5. EPSRC CDT2

    Cid, C., Paterson, K., Mayes, K., Martin, K. M., Kinder, J. & Adey, P.

    Eng & Phys Sci Res Council EPSRC: £3,454,896

    1/10/1631/03/23

    Project: Research

  6. Prediction of drug cocktails with anti-trypanosomal effect

    Paccanaro, A.

    Eng & Phys Sci Res Council EPSRC: £8,976

    1/06/1631/03/17

    Project: Research

  7. Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement

    Gerke, S.

    London Mathematical Society: £6,000

    9/04/1610/04/16

    Project: Other

  8. Automated Security Testing of Webview Interfaces

    Kinder, J.

    Google: £42,357

    1/02/1631/01/18

    Project: Research

  9. Semantic Completions: Unifying the Wave and the Particle Views of Information

    Fiadeiro, J. L., Vovk, V. & Pavlovic, D.

    Air Force Office of Scientific Research: £73,472, Air Force Office of Scientific Research: £72,822, Air Force Office of Scientific Research: £85,086

    1/01/1631/12/16

    Project: Research

  10. Exascale Compound Activity Prediction Engine

    Gammerman, A., Vovk, V. & Luo, Z.

    European Union: £278,383

    1/09/1531/08/18

    Project: Research

  11. Autonomous Intelligent Systems

    Bernardini, S.

    Eng & Phys Sci Res Council EPSRC: £8,534

    1/09/1528/02/16

    Project: Research

  12. MobSec: Malware and Security in the Mobile Age

    Cavallaro, L. & Kinder, J.

    Eng & Phys Sci Res Council EPSRC: £747,777

    10/11/144/05/19

    Project: Research

  13. HoTT-based Computer-Assisted Reasoning

    Luo, Z.

    Royal Academy of Engineering: £10,000

    1/07/1430/06/15

    Project: Research

  14. Constraint Network Tractability: Beyond Structure and Language

    Cohen, D.

    Eng & Phys Sci Res Council EPSRC: £78,598

    31/05/1430/05/17

    Project: Research

  15. Notions and notation: Babbage’s language of thought

    Johnstone, A.

    Leverhulme Trust: £222,540

    1/03/1428/02/17

    Project: Research

  16. Parameterised Combinatorial Optimisation Problems

    Gutin, G.

    Royal Society: £75,000

    1/01/1431/12/18

    Project: Research

  17. Scalable Software for Multicores

    Chockler, G.

    Royal Society: £12,000

    1/01/141/01/14

    Project: Research

  18. Modelling and Analysis of Dynamic Networks of Interaction

    Fiadeiro, J. L.

    Royal Society: £12,000

    15/11/1314/11/15

    Project: Research

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

    Kalnishkan, Y.

    Leverhulme Trust: £133,964

    1/07/1330/06/16

    Project: Research

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

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

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

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

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

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

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

  27. Classical Dependant Type Theories

    Adams, R.

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

    1/03/1230/09/13

    Project: Research

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

    Stathis, K.

    Centre for Defense Enterprise: £69,565

    28/11/1127/05/12

    Project: Research

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

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

  31. Lexical Semantics in Type Theory with Coercive Subtyping

    Luo, Z.

    Leverhulme Trust: £147,661

    1/06/1131/05/14

    Project: Research

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

  33. VENUS C Project

    Shanahan, H.

    European Union: £21,999

    1/06/1131/05/12

    Project: Research

  34. 2iC Run Time technical prototype including Service Registery

    Stathis, K.

    South East England Development Agency: £12,000

    12/04/1111/07/11

    Project: Research

  35. Composing Learning for Artificial Cognitive Systems

    Watkins, C.

    European Union: £266,427

    1/03/1128/02/15

    Project: Research

  36. The Decision Theory of Hiring and Firing Advisors

    Vovk, V.

    Netherlands Organisation for Scientific Research: £123,539

    1/02/1131/01/13

    Project: Research

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

    Gutin, G. & Yeo, A.

    Royal Society: £11,900

    1/12/1030/11/12

    Project: Research

  38. Intelligent Agent Technology for Service Grids - II

    Stathis, K. & Dean, J.

    Unknown: £15,000

    1/05/1031/12/10

    Project: Research

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

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

    Biotechnology&BioSci Research BBSRC: £704,348

    15/04/1014/04/13

    Project: Research

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

    Solovyev, V.

    Royal Society: £3,000

    1/02/107/03/10

    Project: Research

  41. Intelligent Agent Technology for Service Grids - I

    Stathis, K. & Dean, J.

    Unknown: £36,000

    1/07/0928/02/10

    Project: Research

  42. Application of conformal predictors to functional magnetic resonance imaging research

    Gammerman, A.

    Medical Research Council: £85,581

    15/04/0914/04/10

    Project: Research

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

    Luo, Z.

    Royal Society: £10,000

    1/04/0931/03/11

    Project: Research

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

    Yeo, A.

    Royal Society: £1,892

    15/07/0830/07/08

    Project: Research

  45. International conference on discrete mathematics 2008

    Gutin, G.

    Royal Society: £1,260

    6/05/0812/05/08

    Project: Research

  46. Path finding in Virtual Worlds

    Stathis, K.

    London Development Agency: £8,000

    1/12/0730/04/08

    Project: Research

  47. PCP: Practical Competitive Prediction

    Vovk, V., Gammerman, A., Kalnishkan, Y., Chernov, A. & Zhdanov, F.

    Eng & Phys Sci Res Council EPSRC: £406,854

    10/10/0722/11/10

    Project: Research

  48. The complexity of valued constraints

    Cohen, D.

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

    1/10/071/10/10

    Project: Research

  49. Parameterized problems on directed graphs

    Gutin, G.

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

    1/09/0731/08/10

    Project: Research

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

  51. Reverse Mathematics in Dependent Type Theory

    Adams, R.

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

    16/10/0615/09/09

    Project: Research

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

  53. Multiple scale and multimodal data and information fusion in human sensory discrimation

    Murtagh, F. & Zervas, D.

    Biotechnology&BioSci Research BBSRC: £51,369

    1/10/0631/03/08

    Project: Research

  54. Type-theoretic foundation of mathematical pluralism

    Luo, Z.

    Leverhulme Trust: £56,235

    1/10/0630/09/09

    Project: Research

  55. Argumentation as a foundation for the semantic grid

    Stathis, K.

    European Union: £200,310

    1/06/0631/05/09

    Project: Research

  56. Groebner Basis Techniques for Constraint Satisfaction Problems

    Cohen, D. & Jeavons, P.

    30/03/0630/03/09

    Project: Research

  57. Cognitive Learning: language, movement and vision

    Clark, A.

    European Union: £1,592

    1/01/0630/09/06

    Project: Research

  58. Cognitive Science and Machine Learning Approaches to Computational Linguistics

    Clark, A.

    European Union: £5,640

    1/01/0630/09/06

    Project: Research

  59. Pascal: Grammatical inference with string kernels and latent structure techniques

    Clark, A.

    European Union: £42,566

    1/10/0530/09/06

    Project: Research

  60. Protemic analysis of the human serum proteome

    Gammerman, A.

    Medical Research Council: £170,091

    1/10/0530/09/08

    Project: Research

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

  62. Epigram II: Innovative programming via inductive families

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £50,483

    1/10/0431/08/05

    Project: Research

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

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

    Luo, Z.

    European Union: £107,000

    1/09/0430/04/08

    Project: Research

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

  66. Epigram I: Innovative programming via inductive families

    Luo, Z.

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

    1/12/0130/09/04

    Project: Research

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

  68. Mathematical Vernacular

    Luo, Z.

    Leverhulme Trust: £45,000

    1/01/9730/04/99

    Project: Research

  69. Subtyping, inheritance, and reuse

    Luo, Z.

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

    1/10/9631/03/00

    Project: Research