String Constraint Solving with Real-World Regular Expressions
Eng & Phys Sci Res Council EPSRC: £393,618
1/07/19 → 30/06/22
Project: Research
PROMETHEUS: A Reconfigurable Robotic Platform (s) With Advanced Sensing For Confined Spaces
Innovate UK: £219,999
1/04/19 → 31/03/21
Project: Research
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/19 → 31/10/19
Project: Research
Analyzing Security-aware Workflows (funded by Leverhulme Trust)
Gutin, G., Crampton, J. & Cohen, D.
1/01/19 → 31/12/21
Project: Research
Connect-R: Providing Structure in Unstructured Extreme Environments
Innovate UK: £477,000
1/01/19 → 31/12/20
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
Impact of the large scale roll-out of smart meters on freedom of choice and privacy
Zhang, X., Kuenzel, S., Córdoba-Pachón, J. & Watkins, C.
1/01/18 → 31/12/21
Project: Research
ABI innovation: A Graph based Approach for the Genome Wide Prediction of Conditionally Essential Genes
National Science Foundation (NSF): £13,078, National Science Foundation: £13,169
15/09/17 → 14/09/20
Project: Research
Machine Learning for Chemical Synthesis
Gammerman, A., Toccaceli, P., Vovk, V. & Luo, Z.
AstraZeneca: £395,762
1/05/17 → 30/06/18
Project: Research
Polytope methods in parameterized complexity
Eng & Phys Sci Res Council EPSRC: £100,848
1/12/16 → 31/12/17
Project: Research
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/16 → 31/03/23
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
Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement
London Mathematical Society: £6,000
9/04/16 → 10/04/16
Project: Other
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
Exascale Compound Activity Prediction Engine
Gammerman, A., Vovk, V. & Luo, Z.
European Union: £278,383
1/09/15 → 31/08/18
Project: Research
Autonomous Intelligent Systems
Eng & Phys Sci Res Council EPSRC: £8,534
1/09/15 → 28/02/16
Project: Research
Bilateral NSF/BIO-BBSRC - Translational landscape to link cell growth with proliferation in the root meristem
Biotechnology&BioSci Research BBSRC: £583,852
1/07/15 → 30/06/18
Project: Research
MobSec: Malware and Security in the Mobile Age
Eng & Phys Sci Res Council EPSRC: £747,777
10/11/14 → 4/05/19
Project: Research
HoTT-based Computer-Assisted Reasoning
Royal Academy of Engineering: £10,000
1/07/14 → 30/06/15
Project: Research
Constraint Network Tractability: Beyond Structure and Language
Eng & Phys Sci Res Council EPSRC: £78,598
31/05/14 → 30/05/17
Project: Research
Multi-level analysis of the evolution of cooperative behaviour in social insects Marie Curie Fellow – Dr Fabio Manfredini
Brown, M. J. F. & Paccanaro, A.
European Union: £175,003
1/04/14 → 31/03/16
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
Notions and notation: Babbage’s language of thought
Leverhulme Trust: £222,540
1/03/14 → 28/02/17
Project: Research
Parameterised Combinatorial Optimisation Problems
Royal Society: £75,000
1/01/14 → 31/12/18
Project: Research
Modelling and Analysis of Dynamic Networks of Interaction
Royal Society: £12,000
15/11/13 → 14/11/15
Project: Research
COMMODITY12: Extension of COntinuous Multi-parametric and Multi-layered Analysis Of DIabetes TYpe 1 & 2
1/09/13 → 30/09/15
Project: Research
On-line Self-Tuning Learning Algorithms for Handling Historical Information
Leverhulme Trust: £133,964
1/07/13 → 30/06/16
Project: Research
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/13 → 17/04/17
Project: Research
MAPK signalling network to adapt leaf growth to drought conditions
Bogre, L., Paccanaro, A. & Papdi, C.
European Commission: £177,130
1/05/13 → 30/04/15
Project: Research
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC: £469,677
1/05/13 → 30/04/18
Project: Research
Inference of RBR network and dynamic RBR complexes during leaf development
Paccanaro, A., Bogre, L. & Horvath, B.
European Commission: £255,440
1/03/13 → 28/02/15
Project: Research
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/13 → 1/05/16
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
Development of automated methods for helping detection of anomalous behaviour
Thales: £45,000
1/10/12 → 30/09/15
Project: Research
Verification and correctness of service-oriented systems
Eng & Phys Sci Res Council EPSRC: £6,700
1/10/12 → 31/12/12
Project: Research
A GPU-based high performance system for discovering consensus domain architecture and functional annotation of protein families
Biotechnology&BioSci Research BBSRC: £114,257
1/07/12 → 30/09/13
Project: Research
Classical Dependant Type Theories
Eng & Phys Sci Res Council EPSRC: £98,545
1/03/12 → 30/09/13
Project: Research
Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture
Centre for Defense Enterprise: £69,565
28/11/11 → 27/05/12
Project: Research
Machine Learning Methods for Coal Quality Analysis based on NIR Technology
Zhejiang University: £30,000
1/11/11 → 30/10/13
Project: Research
COMMODITY12: COntinuous Multi-parametric and Multi-layered analysis Of DIabetes TYpe 1 & 2
European Commission: £342,831
1/10/11 → 30/06/14
Project: Research
Development of New Venn Prediction Methods for Osteoporosis Risk Assessment
Research Promotion Foundation of Cyprus: £28,215
1/09/11 → 31/08/13
Project: Research
cTQM: A cloud based tool for testing the quality of micro-array data in H. sapiens.
Shanahan, H. & Harrison, A.
8/06/11 → 9/06/11
Project: Research
Lexical Semantics in Type Theory with Coercive Subtyping
Leverhulme Trust: £147,661
1/06/11 → 31/05/14
Project: Research
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
2iC Run Time technical prototype including Service Registery
South East England Development Agency: £12,000
12/04/11 → 11/07/11
Project: Research
Composing Learning for Artificial Cognitive Systems
European Union: £266,427
1/03/11 → 28/02/15
Project: Research
The Decision Theory of Hiring and Firing Advisors
Netherlands Organisation for Scientific Research: £123,539
1/02/11 → 31/01/13
Project: Research
Preprocessing for Optimisation Problems Parameterized Above/Below Tight Bounds
Royal Society: £11,900
1/12/10 → 30/11/12
Project: Research
Intelligent Agent Technology for Service Grids - II
Stathis, K. & Dean, J.
Unknown: £15,000
1/05/10 → 31/12/10
Project: Research
Living with uninvited guests-comparing palnt and animal responses to endocytic invasions
Jansen , V. A. A., Gammerman, A. & Soloviev, M.
Biotechnology&BioSci Research BBSRC: £704,348
15/04/10 → 14/04/13
Project: Research
Development of novel method for prediction of plant Pol 11 promoters
Royal Society: £3,000
1/02/10 → 7/03/10
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
Intelligent Agent Technology for Service Grids - I
Stathis, K. & Dean, J.
Unknown: £36,000
1/07/09 → 28/02/10
Project: Research
One-One Meeting with Prof M Henning (South Africa): Total domination in graphs and transversals in hypergraphs
Royal Society: £1,780
1/07/09 → 31/07/09
Project: Research
Application of conformal predictors to functional magnetic resonance imaging research
Medical Research Council MRC: £85,581
15/04/09 → 14/04/10
Project: Research
Explosive trace detection with an odour capture hybrid sensor system
Royal Society: £10,000
1/04/09 → 31/03/11
Project: Research
Tamas Nepusz: Overlapping community detection methods for biological applications
Royal Society: £99,000
2/02/09 → 1/02/11
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
Development of a graph-theoretic approach to predict protein function by integrating large scale heterogeneous data
Biotechnology&BioSci Research BBSRC: £421,635
1/06/08 → 31/05/11
Project: Research
International conference on discrete mathematics 2008
Royal Society: £1,260
6/05/08 → 12/05/08
Project: Research
O-PTM Biomarkers: Discovery of novel cancer serum biomarket based on aberrant post translational modifications of O-glycopretins ( O-PTM-Biomarkers and their application to early detection of cancer
European Union: £30,815, European Union: £153,046
1/01/08 → 31/12/11
Project: Research
Development and application of Machine Learning Algorithms for the Analysis of Complex Vetinary Data Sets
Veterinary Laboratories Agency: £84,425
10/10/07 → 9/10/10
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
The complexity of valued constraints
Eng & Phys Sci Res Council EPSRC: £187,510
1/10/07 → 1/10/10
Project: Research
Parameterized problems on directed graphs
Eng & Phys Sci Res Council EPSRC: £344,495
1/09/07 → 31/08/10
Project: Research
3D Modelling of Agent-Based Web-Services for E-Retailing Project
London Development Agency: £8,000
26/03/07 → 26/09/07
Project: Research
Development of New Conformal Predition Methods with Applications in Medical Diagnosis
Cyprus Government: £30,770
28/12/06 → 27/12/09
Project: Research
New Mathematical approaches for structuring and searching through, very large compressed encrypted textual data stores
Murtagh, F. & Contreras Albornoz, P.
Eng & Phys Sci Res Council EPSRC: £89,864
1/11/06 → 31/03/10
Project: Research
Reverse Mathematics in Dependent Type Theory
Eng & Phys Sci Res Council EPSRC: £225,677
16/10/06 → 15/09/09
Project: Research
Machine learning for resource management in next-generation optical networks
Eng & Phys Sci Res Council EPSRC: £116,637
1/10/06 → 30/09/09
Project: Research
Machine learning for resource management in next-generation optical networks
1/10/06 → 30/09/09
Project: Research
Multiple scale and multimodal data and information fusion in human sensory discrimation
Murtagh, F. & Zervas, D.
Biotechnology&BioSci Research BBSRC: £51,369
1/10/06 → 31/03/08
Project: Research
Type-theoretic foundation of mathematical pluralism
Leverhulme Trust: £56,235
1/10/06 → 30/09/09
Project: Research
Argumentation as a foundation for the semantic grid
European Union: £200,310
1/06/06 → 31/05/09
Project: Research
Groebner Basis Techniques for Constraint Satisfaction Problems
Cohen, D. & Jeavons, P.
30/03/06 → 30/03/09
Project: Research
Cognitive Learning: language, movement and vision
European Union: £1,592
1/01/06 → 30/09/06
Project: Research
Cognitive Science and Machine Learning Approaches to Computational Linguistics
European Union: £5,640
1/01/06 → 30/09/06
Project: Research
Pascal: Grammatical inference with string kernels and latent structure techniques
European Union: £42,566
1/10/05 → 30/09/06
Project: Research
Protemic analysis of the human serum proteome
Medical Research Council MRC: £170,091
1/10/05 → 30/09/08
Project: Research
Tractability of Constraint Problems: Unification, Extension and Applicability
Eng & Phys Sci Res Council EPSRC: £184,409
1/10/05 → 30/09/08
Project: Research
Epigram II: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC: £50,483
1/10/04 → 31/08/05
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
EU Thematic Network TYPES: Computer-assisted reasoning based on type theory
European Union: £107,000
1/09/04 → 30/04/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
Epigram I: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC: £199,000
1/12/01 → 30/09/04
Project: Research
An open proof checker based on type theory
Eng & Phys Sci Res Council EPSRC: £268,000
1/08/99 → 31/12/02
Project: Research
Subtyping, inheritance, and reuse
Eng & Phys Sci Res Council EPSRC: £128,000
1/10/96 → 31/03/00
Project: Research