Research projects
If you are considering postgraduate research at Masters or PhD level, see the Postgraduate Research page.
This page lists the current and recent research projects which provide funding for academic staff at the Department. It also lists our main sources of funding, provides links to advice on writing applications for funding, and refers to the procedures regarding departmental approval for sumitting proposals for new research projects.
Current funded projects
Note:
- All research council grants are costed on the basis of full economic costs (fEC). The funding provided by the research council (listed below) is 80% of the fEC; the University provides the balance from other resources.
- When more than one person is listed for a project, they are all Co-Investigators unless otherwise indicated.
- PATINA: Personal Architectonics Through INteractions with Artefacts
- M Jones, et al., Jun 2010 – May 2013
£1,467,705 (with Bristol, Brighton, Greenwich, Newcastle, Southampton, Microsoft Research, Nokia and the Victoria and Albert Museum), EPSRC EP/H042806/1 - Community-generated media for the next billion
- M Jones, et al., May 2010 – Oct 2011
£449,681 (with Glasgow and Surrey), EPSRC EP/H042857/1 - CHI+MED: Multidisciplinary Computer-Human Interaction research for the design and safe use of interactive medical devices
- G R Buchanan, P Eslambolchilar, M Jones, H W Thimbleby, et al., Oct 2009 – Sep 2015
£5,792,050, EPSRC EP/G059063/1 - RIVIC: Institute of Visual Computing
- M Chen (Co-director), et al., 2009 – 2013
£5,021,000 (with Aberystwyth, Bangor and Cardiff), Welsh Assembly Government - Theory and Applications of Induction Recursion
- A G Setzer, Oct 2009 – Mar 2013
£104,925, EPSRC EP/G033374/1 - UCLIC/FITLab PLATFORM: "Healthy interactive systems": Resilient, Usable and Appropriate Systems in Healthcare
- H W Thimbleby (PI), G R Buchanan, P Eslambolchilar, M Jones, et al., Feb 2009 – Jan 2014
£375,044, EPSRC EP/G003971/1 - Illuminating the Path of Video Visualization
- M Chen, Feb 2009 – Jan 2013
£858,746, EPSRC EP/G006555/1 - Senior Leverhulme Research Fellowship
- H W Thimbleby, Oct 2008 – Dec 2009
- Microsft PhD Scholarship: Digital story systems
- J S Pearson, 2008 – 2010
- ISIS: Protecting children in online social networks
- M Jones, Jun 2008 – Jun 2011
£33,827, EPSRC EP/F035071/1 - Formally-based tools for user interface analysis and design
- H W Thimbleby, May 2008 – Sep 2011
£611,059, EPSRC EP/F020031/1 - British Colloquium for Theoretical Computer Science (BCTCS)
- F G Moller, May 2008 – Aug 2010
£65,235, EPSRC EP/F057164/1 - Interactive, High-Dimensional Flow Visualization Using Image Space-Based Approaches
- R S Laramee, Oct 2007 – Sep 2010
£205,545, EPSRC EP/F002335/1 - Multimodal, Negotiated Interaction in Mobile Scenarios
- M Jones, Jun 2007 – Jun 2010
£273,604, EPSRC EP/E042171/1 - RCUK Fellowship
- M Chen and J V Tucker, Oct 2006 – Sep 2012
£125,000, EPSRC EP/E500609/1
Recent funded projects
- Telling the StoryBank: An Exhibit for the British Science Association, Festival of Science 2009
- M Jones, Jul–Oct 2009
£16,438, EPSRC EP/H010394/1 - USA research trip
- H W Thimbleby, Jul–Oct 2009
£14,823, EPSRC EP/H017895/1 - Processes and data
- M Roggenbach, Aug 2006 – Oct 2009
£107,676, EPSRC EP/D037212/1 - A state of the art information-driven health care demonstrator: Combining advanced technologies in the gastro-intestinal field
- H W Thimbleby, Apr 2008 – Sep 2009
£176,183, EPSRC EP/F059116/1 - Complexity of practical algorithms for Volume Rendering and Computer Graphics
- B Mora, Sep 2006 – Sep 2009
£115,570, EPSRC EP/E001750/1 - Abstract measures of low-level computational complexity
- A Beckmann, Sep 2006 – Aug 2009
£124,993, EPSRC EP/D03809X/1 - Bridging the Global Digital Divide Network
- M Jones, Sep 2006 – Aug 2009
£273,604, EPSRC EP/E006418/1 - Foundations of computing with continuous data: algorithms versus experiments with physical systems
- J V Tucker and E J Beggs (Maths), Jan 2006 – Jun 2009
£258,042, EPSRC EP/C525361/1 - Document Triage in the Information Seeking Process
- G R Buchanan, Apr 2008 – March 2009
£260,700, EPSRC EP/F041217/1 - Types for proofs and programs
- Site members: U Berger, A M Gimblett, M Roggenbach, M Seisenberger, A G Setzer, Sep 2004 – Apr 2008
£7472, ESPRIT - British Colloquium for Theoretical Computer Science (BCTCS) 2005-2007
- F G Moller, Apr 2005 – Jul 2007
£24,605, EPSRC EP/C00745X/1 - Computability in Europe 2006
- A Beckmann and J V Tucker, May 2006 – Jun 2007
£16,425, EPSRC EP/D061172/1 - British Colloquium for Theoretical Computer Science (BCTCS) 2006
- F G Moller, Apr 2006 – May 2007
£7,594, EPSRC EP/D03888X/1 - An algorithmic platform for efficient satisfiability based problem solving
- O Kullmann, Feb 2004 – Apr 2007
£111,440, EPSRC GR/S58393/01 - Extensions of dependent type theory — induction, interaction, universes
- A G Setzer, Oct 2003 – Nov 2006
£123,028, EPSRC GR/S30450/01 - Constructive Volume Geometry — a fundamental modelling methodology for volume graphics
- M Chen and J V Tucker, Oct 2001 – Mar 2005
£190,283, EPSRC GR/R25286/01 - Domain theoretic methods for program synthesis
- U Berger, Apr 2001 – Apr 2004
£62,209, EPSRC GR/R16020/01 - Applying Maude to equational representations of microprocessors
- N A Harman, Mar 2000 – Mar 2001
£5,830, EPSRC GR/N15955/01 - Visit to SRI International: Applying Maude to equational representations of microprocessors
- N A Harman, May 1999 – Jun 1999
£2,250, EPSRC GR/M82202/01 - Computation with continuous datatypes
- J V Tucker, Oct 1998 – Oct 1999
£8,220, EPSRC GR/M39749/01 - Hierarchies of spatially extended nonlinear models of physiological systems: algorithms and applications
- J V Tucker, Dec 1997 – Dec 2000
£5,755, EPSRC GR/L71544/01
Sources of funding
The main current sources of funding for our research projects are (in alphabetical order):
- EPSRC: Engineering and Physical Sciences Research Council – the UK Government's leading funding agency for research and training in engineering and the physical sciences
- KTP: Knowledge Transfer Partnerships – a UK-wide programme to encourage business/knowledge base collaborations
- Microsoft Research – supports innovative projects to advance state-of-the-art research and teaching in computer science and computational science around the world
- The Royal Society – runs a series of schemes that enhance the UK science base and fosters collaboration between UK based and overseas scientists
- Welsh Assembly Government – some of the Assembly Government’s money is made available by way of grants to fund schemes and initiatives that are in line with the Welsh Assembly Government’s agenda
Advice on writing applications for funding
- EPSRC: How to apply
- Bundy and Peyton Jones: Writing a good grant proposal
- LUCS: How to get EPSRC funding
Approval for submitting proposals for new research projects
Members of the Department Research Committee are to advise the Head of Department regarding approval of submission of all research proposals involving staff. They are also willing to comment on drafts of applications.
Research projects that involve experiments with users requireseparate ethical approval, as described on the ethical consent procedures page.