Department of Computer Science

Projects

Projects per year 1996 2006 2007 2009 2011 2013 2014 2016 2019 2020 2022 2027

• 6 Active
• 121 Finished

Projects per year

Search results

• Finished

  Bilateral NSF/BIO-BBSRC - Translational landscape to link cell growth with proliferation in the root meristem

  Bogre, L. (PI) & Paccanaro, A. (PI)

  Biotechnology&BioSci Research BBSRC

  1/07/15 → 30/06/18

  Project: Research

• MobSec: Malware and Security in the Mobile Age

  Cavallaro, L. (PI) & Kinder, J. (CoI)

  Eng & Phys Sci Res Council EPSRC

  10/11/14 → 4/05/19

  Project: Research

• HoTT-based Computer-Assisted Reasoning

  Luo, Z. (PI)

  Royal Academy of Engineering

  1/07/14 → 30/06/15

  Project: Research

• Constraint Network Tractability: Beyond Structure and Language

  Cohen, D. (PI)

  Eng & Phys Sci Res Council EPSRC

  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. (PI) & Paccanaro, A. (CoI)

  European Union

  1/04/14 → 31/03/16

  Project: Research

• Semantic Completions: Unifying the wave and the Particle Views of Information

  Pavlovic, D. (PI), Fiadeiro, J. L. (CoI) & Vovk, V. (CoI)

  1/04/14 → 31/03/17

  Project: Research

• COMMODITY12: Extension of COntinuous Multi-parametric and Multi-layered Analysis Of DIabetes TYpe 1 & 2

  Stathis, K. (PI)

  1/03/14 → 1/09/15

  Project: Research

• Notions and notation: Babbage’s language of thought

  Johnstone, A. (PI)

  Leverhulme Trust

  1/03/14 → 28/02/17

  Project: Research

• The Female Experiences in a Male-dominated Learning Environment

  Ferreira, M. C. (CoI) & Watkins, C. (CoI)

  11/02/14 → 2/12/14

  Project: Research

• Parameterised Combinatorial Optimisation Problems

  Gutin, G. (PI)

  Royal Society

  1/01/14 → 31/12/18

  Project: Research

• Scalable Software for Multicores

  Chockler, G. (PI)

  Royal Society

  1/01/14 → 1/01/14

  Project: Research

• Modelling and Analysis of Dynamic Networks of Interaction

  Fiadeiro, J. L. (PI)

  Royal Society

  15/11/13 → 14/11/15

  Project: Research

• On-line Self-Tuning Learning Algorithms for Handling Historical Information

  Kalnishkan, Y. (PI)

  Leverhulme Trust

  1/07/13 → 30/06/16

  Project: Research

• Mining the Network Behaviour of Bots

  Cavallaro, L. (PI), Gammerman, A. (CoI), Vovk, V. (CoI), Shanahan, H. (CoI) & Luo, Z. (CoI)

  Eng & Phys Sci Res Council EPSRC

  16/06/13 → 17/04/17

  Project: Research

• MAPK signalling network to adapt leaf growth to drought conditions

  Bogre, L. (PI), Paccanaro, A. (CoI) & Papdi, C. (CoI)

  European Commission

  1/05/13 → 30/04/15

  Project: Research

• Verification of Concurrent and Higher-Order Recursive Programs

  Hague, M. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/05/13 → 30/04/18

  Project: Research

• Inference of RBR network and dynamic RBR complexes during leaf development

  Paccanaro, A. (PI), Bogre, L. (CoI) & Horvath, B. (CoI)

  European Commission

  1/03/13 → 28/02/15

  Project: Research

• Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems

  Gutin, G. (PI), Cohen, D. (CoI) & Crampton, J. (CoI)

  Eng & Phys Sci Res Council EPSRC

  1/02/13 → 1/05/16

  Project: Research

• Support of collaborative research with Professor A.E. Guterman

  Nouretdinov, I. (PI)

  Royal Holloway, University of London, Department of Computer Science

  6/01/13 → 24/01/13

  Project: Research

• Verification and correctness of service-oriented systems

  Fiadeiro, J. L. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/10/12 → 31/12/12

  Project: Research

• Development of automated methods for helping detection of anomalous behaviour

  Gammerman, A. (PI)

  Thales

  1/10/12 → 30/09/15

  Project: Research

• A GPU-based high performance system for discovering consensus domain architecture and functional annotation of protein families

  Paccanaro, A. (PI)

  Biotechnology&BioSci Research BBSRC

  1/07/12 → 30/09/13

  Project: Research

• Classical Dependant Type Theories

  Adams, R. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/03/12 → 30/09/13

  Project: Research

• Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture

  Stathis, K. (PI)

  Centre for Defense Enterprise

  28/11/11 → 27/05/12

  Project: Research

• Machine Learning Methods for Coal Quality Analysis based on NIR Technology

  Luo, Z. (PI) & Gammerman, A. (CoI)

  Zhejiang University

  1/11/11 → 30/10/13

  Project: Research

• COMMODITY12: COntinuous Multi-parametric and Multi-layered analysis Of DIabetes TYpe 1 & 2

  Stathis, K. (PI)

  European Commission

  1/10/11 → 30/06/14

  Project: Research

• Development of New Venn Prediction Methods for Osteoporosis Risk Assessment

  Gammerman, A. (PI) & Vovk, V. (CoI)

  Research Promotion Foundation of Cyprus

  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. (CoI) & Harrison, A. (CoI)

  8/06/11 → 9/06/11

  Project: Research

• VENUS C Project

  Shanahan, H. (PI)

  European Union

  1/06/11 → 31/05/12

  Project: Research

• Lexical Semantics in Type Theory with Coercive Subtyping

  Luo, Z. (PI)

  Leverhulme Trust

  1/06/11 → 31/05/14

  Project: Research

• PLanCompS: PLanCompS: Programming Language Components and Specifications

  Johnstone, A. (PI), Scott, E. (CoI), Reddington, J. (CoI) & Walsh, R. (CoI)

  Eng & Phys Sci Res Council EPSRC

  1/06/11 → 31/05/15

  Project: Research

• 2iC Run Time technical prototype including Service Registery

  Stathis, K. (PI)

  South East England Development Agency

  12/04/11 → 11/07/11

  Project: Research

• Composing Learning for Artificial Cognitive Systems

  Watkins, C. (PI)

  European Union

  1/03/11 → 28/02/15

  Project: Research

• The Decision Theory of Hiring and Firing Advisors

  Vovk, V. (PI)

  Netherlands Organisation for Scientific Research

  1/02/11 → 31/01/13

  Project: Research

• Preprocessing for Optimisation Problems Parameterized Above/Below Tight Bounds

  Gutin, G. (PI) & Yeo, A. (CoI)

  Royal Society

  1/12/10 → 30/11/12

  Project: Research

• Intelligent Agent Technology for Service Grids - II

  Stathis, K. (PI) & Dean, J. (CoI)

  Unknown

  1/05/10 → 31/12/10

  Project: Research

• Living with uninvited guests-comparing palnt and animal responses to endocytic invasions

  Jansen , V. A. A. (PI), Gammerman, A. (CoI) & Soloviev, M. (CoI)

  Biotechnology&BioSci Research BBSRC

  15/04/10 → 14/04/13

  Project: Research

• Development of novel method for prediction of plant Pol 11 promoters

  Solovyev, V. (PI)

  Royal Society

  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

  Gammerman, A. (PI)

  Veterinary Laboratories Agency

  1/10/09 → 30/09/12

  Project: Research

• Intelligent Agent Technology for Service Grids - I

  Stathis, K. (PI) & Dean, J. (CoI)

  Unknown

  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

  Yeo, A. (PI)

  Royal Society

  1/07/09 → 31/07/09

  Project: Research

• Application of conformal predictors to functional magnetic resonance imaging research

  Gammerman, A. (PI)

  Medical Research Council MRC

  15/04/09 → 14/04/10

  Project: Research

• Explosive trace detection with an odour capture hybrid sensor system

  Luo, Z. (PI)

  Royal Society

  1/04/09 → 31/03/11

  Project: Research

• Tamas Nepusz: Overlapping community detection methods for biological applications

  Paccanaro, A. (PI)

  Royal Society

  2/02/09 → 1/02/11

  Project: Research

• South Africa-UK Science Networks phase II Visitor Prof M Henning

  Yeo, A. (PI)

  Royal Society

  15/07/08 → 30/07/08

  Project: Research

• Development of a graph-theoretic approach to predict protein function by integrating large scale heterogeneous data

  Paccanaro, A. (PI) & Bogre, L. (CoI)

  Biotechnology&BioSci Research BBSRC

  1/06/08 → 31/05/11

  Project: Research

• International conference on discrete mathematics 2008

  Gutin, G. (PI)

  Royal Society

  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

  Gammerman, A. (PI)

  European Union

  1/01/08 → 31/12/11

  Project: Research

• Path finding in Virtual Worlds

  Stathis, K. (PI)

  London Development Agency

  1/12/07 → 30/04/08

  Project: Research

• PCP: Practical Competitive Prediction

  Vovk, V. (PI), Gammerman, A. (CoI), Kalnishkan, Y. (CoI), Chernov, A. (CoI) & Zhdanov, F. (CoI)

  Eng & Phys Sci Res Council EPSRC

  10/10/07 → 22/11/10

  Project: Research