Epigram I: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC: £199,000
1/12/01 → 30/09/04
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 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
Machine learning for resource management in next-generation optical networks
1/10/06 → 30/09/09
Project: Research
Composing Learning for Artificial Cognitive Systems
European Union: £266,427
1/03/11 → 28/02/15
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
Intelligent Agent Technology for Service Grids - I
Stathis, K. & Dean, J.
Unknown: £36,000
1/07/09 → 28/02/10
Project: Research
Lexical Semantics in Type Theory with Coercive Subtyping
Leverhulme Trust: £147,661
1/06/11 → 31/05/14
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
South Africa-UK Science Networks phase II Visitor Prof M Henning
Royal Society: £1,892
15/07/08 → 30/07/08
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
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
Argumentation as a foundation for the semantic grid
European Union: £200,310
1/06/06 → 31/05/09
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 novel method for prediction of plant Pol 11 promoters
Royal Society: £3,000
1/02/10 → 7/03/10
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
Tamas Nepusz: Overlapping community detection methods for biological applications
Royal Society: £99,000
2/02/09 → 1/02/11
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
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
Type-theoretic foundation of mathematical pluralism
Leverhulme Trust: £56,235
1/10/06 → 30/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
Explosive trace detection with an odour capture hybrid sensor system
Royal Society: £10,000
1/04/09 → 31/03/11
Project: Research