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/11 → 31/05/15
Project: Research
Polytope methods in parameterized complexity
Eng & Phys Sci Res Council EPSRC: £100,848
1/12/16 → 31/12/17
Project: Research
PCP: Practical Competitive Prediction
Vovk, V., Gammerman, A., Kalnishkan, Y., Chernov, A. & Zhdanov, F.
Eng & Phys Sci Res Council EPSRC: £406,854
10/10/07 → 22/11/10
Project: Research
Prediction of drug cocktails with anti-trypanosomal effect
Eng & Phys Sci Res Council EPSRC: £8,976
1/06/16 → 31/03/17
Project: Research
Preprocessing for Optimisation Problems Parameterized Above/Below Tight Bounds
Royal Society: £11,900
1/12/10 → 30/11/12
Project: Research
Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement
London Mathematical Society: £6,000
9/04/16 → 10/04/16
Project: Other
Protemic analysis of the human serum proteome
Medical Research Council MRC: £170,091
1/10/05 → 30/09/08
Project: Research
Pythagoras I: Pythagoras I: Machine support for semi-formalised proof oriented mathematics
Eng & Phys Sci Res Council EPSRC: £187,000
1/10/02 → 30/09/04
Project: Research
Pythagoras II: Pythagoras II: Machine support for semi-formalised proof oriented mathematics
Eng & Phys Sci Res Council EPSRC: £83,200
1/10/04 → 31/12/06
Project: Research
Reverse Mathematics in Dependent Type Theory
Eng & Phys Sci Res Council EPSRC: £225,677
16/10/06 → 15/09/09
Project: Research
MIMRee: Robotics and AI: inspect, maintain and repair in extreme environments
Innovate UK: £249,851
1/03/19 → 28/02/21
Project: Research
Semantic Completions: Unifying the wave and the Particle Views of Information
Pavlovic, D., Fiadeiro, J. L. & Vovk, V.
1/04/14 → 31/03/17
Project: Research
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/16 → 31/12/16
Project: Research
SHARPA: Shared Autonomy via Robust Task Planning and Argumentation
Eng & Phys Sci Res Council EPSRC: £15,868
8/10/18 → 7/03/19
Project: Research
SMaILE: Simple Methods for Artificial Intelligence Learning and Education
Compagnia di San Paolo Foundation: £235,668
26/02/21 → 26/02/23
Project: Research
South Africa-UK Science Networks phase II Visitor Prof M Henning
Royal Society: £1,892
15/07/08 → 30/07/08
Project: Research
String Constraint Solving with Real-World Regular Expressions
Eng & Phys Sci Res Council EPSRC: £393,618
1/07/19 → 30/06/22
Project: Research
Subtyping, inheritance, and reuse
Eng & Phys Sci Res Council EPSRC: £128,000
1/10/96 → 31/03/00
Project: Research
Support of collaborative research with Professor A.E. Guterman
Royal Holloway, University of London, Department of Computer Science: £700
6/01/13 → 24/01/13
Project: Research
Tamas Nepusz: Overlapping community detection methods for biological applications
Royal Society: £99,000
2/02/09 → 1/02/11
Project: Research
That machine learning algorithms will enable the statistical analysis of large veterinary datasets for the detection of complex associations
Veterinary Laboratories Agency: £57,080
1/10/09 → 30/09/12
Project: Research
The complexity of valued constraints
Eng & Phys Sci Res Council EPSRC: £187,510
1/10/07 → 1/10/10
Project: Research