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