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, National Science Foundation: £13,169, National Science Foundation (NSF): £13,664

    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. 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. Autonomous Intelligent Systems

    Bernardini, S.

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

    1/09/1528/02/16

    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. Polytope methods in parameterized complexity

    Wahlström, M.

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

    1/12/1631/12/17

    Project: Research

  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. Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement

    Gerke, S.

    London Mathematical Society: £6,000

    9/04/1610/04/16

    Project: Other

  11. Exascale Compound Activity Prediction Engine

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

    European Union: £278,383

    1/09/1531/08/18

    Project: Research

  12. HoTT-based Computer-Assisted Reasoning

    Luo, Z.

    Royal Academy of Engineering: £10,000

    1/07/1430/06/15

    Project: Research

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

  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. Parameterised Combinatorial Optimisation Problems

    Gutin, G.

    Royal Society: £75,000

    1/01/1431/12/18

    Project: Research

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

    Johnstone, A.

    Leverhulme Trust: £222,540

    1/03/1428/02/17

    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. Scalable Software for Multicores

    Chockler, G.

    Royal Society: £12,000

    1/01/141/01/14

    Project: Research

  19. Groebner Basis Techniques for Constraint Satisfaction Problems

    Cohen, D. & Jeavons, P.

    30/03/0630/03/09

    Project: Research