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

    Paccanaro, A.

    National Science Foundation (NSF): £13,078, National Science Foundation: £13,169, National Science Foundation (NSF): £13,664

    15/09/1714/09/20

    Project: Research

  2. Machine Learning for Chemical Synthesis

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

    AstraZeneca: £395,762

    1/05/1730/06/18

    Project: Research

  3. Polytope methods in parameterized complexity

    Wahlström, M.

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

    1/12/1631/12/17

    Project: Research

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

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

  6. Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement

    Gerke, S.

    London Mathematical Society: £6,000

    9/04/1610/04/16

    Project: Other

  7. Automated Security Testing of Webview Interfaces

    Kinder, J.

    Google: £42,357

    1/02/1631/01/18

    Project: Research

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

  9. Exascale Compound Activity Prediction Engine

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

    European Union: £278,383

    1/09/1531/08/18

    Project: Research

  10. Autonomous Intelligent Systems

    Bernardini, S.

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

    1/09/1528/02/16

    Project: Research

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

  12. HoTT-based Computer-Assisted Reasoning

    Luo, Z.

    Royal Academy of Engineering: £10,000

    1/07/1430/06/15

    Project: Research

  13. Constraint Network Tractability: Beyond Structure and Language

    Cohen, D.

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

    31/05/1430/05/17

    Project: Research

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

    Johnstone, A.

    Leverhulme Trust: £222,540

    1/03/1428/02/17

    Project: Research

  15. Parameterised Combinatorial Optimisation Problems

    Gutin, G.

    Royal Society: £75,000

    1/01/1431/12/18

    Project: Research

  16. Scalable Software for Multicores

    Chockler, G.

    Royal Society: £12,000

    1/01/141/01/14

    Project: Research

  17. Modelling and Analysis of Dynamic Networks of Interaction

    Fiadeiro, J. L.

    Royal Society: £12,000

    15/11/1314/11/15

    Project: Research

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

    Kalnishkan, Y.

    Leverhulme Trust: £133,964

    1/07/1330/06/16

    Project: Research