Personal tools
You are here: Home Research Current Grants

Current Grants

Title Holder Funding Body Start End 
Algorithms for computationally hard problems in automata theory
Mayr
EPSRC
01/03/2013
28/02/2019
An infrastructure for platform technology in synthetic biology
Danos
EPSRC
01/07/2012
30/06/2017
App Guarden
Aspinall
EPSRC/GCHQ
01/04/2013
31/03/2016
Automatic Proof Procedures for Polynamials and Special Functions
Jackson  EPSRC  01/11/10 31/10/14
Bx
Stevens
EPSRC
15/03/2013
14/03/2016
DIACHRON
Viglas
EU
01/04/2013
31/03/2016
Efficient algorithms for verification of recursive probabilistic system
Etessami
Royal Society
30/03/2013
29/03/2015
Human Brain - FET Flagship
Buneman
EU
01/01/2015
31/03/2016
Mechanizing Metatheory with Nominal Logic Programming
Cheney
Royal Society
01/10/2008
15/12/2016
Programme  - From Data Types to Session Types
Wadler
EPSRC
20/05/2013
19/05/2018
Programme SOCIAM
Buneman
EPSRC
01/06/2012
31/05/2017
Provenance Security
Cheney
EOARD
01/01/2013
30/06/2014
QUANTICOL
Hillston
EU
01/04/2013
31/03/2017
QueryGraphSD
Libkin
EPSRC
01/11/2012
31/10/2016
Randomness via information independence
Simpson
John Templeton Foundation
01/01/2013
31/12/2014
RULE - ERC Advanced Grant
Danos
EU
01/02/2013
31/01/2018
SmartSociety
Anderson
EU
01/01/2013
31/12/2016
Document Actions