Attention guidance for multi-task displays using human-like cognitive assistants
Imperial College London: £17,150
17/03/20 → 30/09/20
Project: Research
Justice for the Registrant: Transforming the fitness to practise process through the use of AI: Testing the model
Jago, R., van der Gaag, A. & Stathis, K.
1/02/20 → 31/03/20
Project: Research
CLeVer: Verification of Hardware Concurrency via Model Learning
Eng & Phys Sci Res Council EPSRC: £313,577
6/01/20 → 30/09/22
Project: Research
Visiting Proferssorship_Professor Fabio Fagnani
Bernardini, S. & Fagnani, F.
Leverhulme Trust: £27,600
25/11/19 → 26/07/20
Project: Other
An investigation into the use of artificial intelligence in regulatory decision making in complaints about nurses in the US, UK and Australia
Jago, R., van der Gaag, A., Stathis, K., Denney, D. & Webster, M.
National Council of State Boards of Nursing (NCSBN): £174,227
1/11/19 → 1/03/21
Project: Other
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
MIMRee: Robotics and AI: inspect, maintain and repair in extreme environments
Innovate UK: £249,851
1/03/19 → 28/02/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 → 30/06/20
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, National Science Foundation (NSF): £13,664
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
COMMODITY12: Extension of COntinuous Multi-parametric and Multi-layered Analysis Of DIabetes TYpe 1 & 2
1/03/14 → 1/09/15
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
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