1. Turing Network Development Award

    Ashton, G. & Colombo, N.

    Alan Turing Institute: £24,536

    1/01/2230/09/22

    Project: Research

  2. Integers and Sorting Algorithms in Coq

    Bradley, F.

    9/11/2118/01/22

    Project: Research

  3. Demeter

    Bernardini, S.

    Innovate UK: £219,189

    1/10/2130/09/23

    Project: Research

  4. SoAR: Squads of Adaptive Robots

    Bernardini, S.

    Innovate UK: £259,698

    1/10/2130/09/23

    Project: Research

  5. SMaILE: Simple Methods for Artificial Intelligence Learning and Education

    Bernardini, S.

    Compagnia di San Paolo Foundation: £235,668

    26/02/2126/02/23

    Project: Research

  6. Conformal Martingales for Change-Point Detection

    Gammerman, A. & Vovk, V.

    Amazon: £51,095

    1/06/2031/05/21

    Project: Research

  7. Attention guidance for multi-task displays using human-like cognitive assistants

    Durant, S. & Stathis, K.

    Imperial College London: £17,150

    17/03/2030/09/20

    Project: Research

  8. CLeVer: Verification of Hardware Concurrency via Model Learning

    Sammartino, M.

    Eng & Phys Sci Res Council EPSRC: £313,577

    6/01/2030/09/22

    Project: Research

  9. Intelligence in Context

    Watkins, C.

    1/01/2015/08/21

    Project: Research

  10. Visiting Proferssorship_Professor Fabio Fagnani

    Bernardini, S. & Fagnani, F.

    Leverhulme Trust: £27,600

    25/11/1926/07/20

    Project: Other

  11. String Constraint Solving with Real-World Regular Expressions

    Hague, M.

    Eng & Phys Sci Res Council EPSRC: £393,618

    1/07/1930/06/22

    Project: Research

  12. Transatlantic Perspectives on the Use of Data Science in Museums and Heritage

    Platts, H., Dalton, P., Howard, D. & Watkins, C.

    Arts & Humanities Res Coun AHRC: £42,515

    1/02/1930/06/20

    Project: Research

  13. Connect-R: Providing Structure in Unstructured Extreme Environments

    Bernardini, S.

    Innovate UK: £477,000

    1/01/1931/12/20

    Project: Research

  14. SHARPA: Shared Autonomy via Robust Task Planning and Argumentation

    Bernardini, S.

    Eng & Phys Sci Res Council EPSRC: £15,868

    8/10/187/03/19

    Project: Research

  15. Models of Predictive Maintenance

    Gammerman, A.

    Centrica: £60,000

    1/10/1830/09/19

    Project: Research

  16. Leverhulme Trust Visiting Professorship

    Fiadeiro, J. L.

    Leverhulme Trust: £5,525

    1/05/1831/07/18

    Project: Research

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

  18. Machine Learning for Chemical Synthesis

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

    AstraZeneca: £395,762

    1/05/1730/06/18

    Project: Research

  19. Polytope methods in parameterized complexity

    Wahlström, M.

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

    1/12/1631/12/17

    Project: Research

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

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

  22. Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement

    Gerke, S.

    London Mathematical Society: £6,000

    9/04/1610/04/16

    Project: Other

  23. Automated Security Testing of Webview Interfaces

    Kinder, J.

    Google: £42,357

    1/02/1631/01/18

    Project: Research

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

  25. Exascale Compound Activity Prediction Engine

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

    European Union: £278,383

    1/09/1531/08/18

    Project: Research

  26. Autonomous Intelligent Systems

    Bernardini, S.

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

    1/09/1528/02/16

    Project: Research

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

  28. HoTT-based Computer-Assisted Reasoning

    Luo, Z.

    Royal Academy of Engineering: £10,000

    1/07/1430/06/15

    Project: Research

  29. Constraint Network Tractability: Beyond Structure and Language

    Cohen, D.

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

    31/05/1430/05/17

    Project: Research

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

    Johnstone, A.

    Leverhulme Trust: £222,540

    1/03/1428/02/17

    Project: Research

  31. Parameterised Combinatorial Optimisation Problems

    Gutin, G.

    Royal Society: £75,000

    1/01/1431/12/18

    Project: Research

  32. Scalable Software for Multicores

    Chockler, G.

    Royal Society: £12,000

    1/01/141/01/14

    Project: Research

  33. Modelling and Analysis of Dynamic Networks of Interaction

    Fiadeiro, J. L.

    Royal Society: £12,000

    15/11/1314/11/15

    Project: Research

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

    Kalnishkan, Y.

    Leverhulme Trust: £133,964

    1/07/1330/06/16

    Project: Research

Previous 1 2 3 Next