Projects per year
Search results
-
Finished
GW4 ISAMBARD2 EPSRC Tier-2 High Performance Computing Services
Davenport, J. (PI)
Engineering and Physical Sciences Research Council
1/11/21 → 31/03/22
Project: Research council
-
NCCE - SW Partnership: National Centre for Computing Education - South West Partnership
Hayhoe, S. (PI) & Davenport, J. (CoI)
7/01/19 → 31/10/19
Project: Central government, health and local authorities
-
Typed Lambda-Calculi with Sharing and Unsharing
Heijltjes, W. (PI)
Engineering and Physical Sciences Research Council
1/01/19 → 30/07/22
Project: Research council
-
Newton Fund - Zero Peak Building Energy Design for India
Natarajan, S. (PI), Coley, D. (CoI), Davenport, J. (CoI), McCullen, N. (CoI) & Walker, I. (CoI)
Engineering and Physical Sciences Research Council
1/11/17 → 31/10/22
Project: Research council
-
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
Davenport, J. (PI)
1/07/16 → 31/08/18
Project: EU Commission
-
Games and Differential Nets for Concurrent Systems
Laird, J. (PI), Guglielmi, A. (CoI), McCusker, G. (CoI) & Power, J. (CoI)
1/08/15 → 30/11/17
Project: Research council
-
Semantic Types for Verified Program Behaviour
Laird, J. (PI)
Engineering and Physical Sciences Research Council
28/02/14 → 31/07/17
Project: Research council
-
ALPUIS
McCusker, G. (PI) & Ioannidis, C. (CoI)
Engineering and Physical Sciences Research Council
1/11/13 → 30/04/18
Project: Research council
-
Conference on Intelligent Computer Mathematics
Davenport, J. (PI)
8/07/13 → 12/07/13
Project: UK charity
-
IAA - Ensuring the Impact of Cutting Edge Computer Algebra
Davenport, J. (PI)
Engineering and Physical Sciences Research Council
1/07/13 → 30/04/15
Project: Research council
-
-
Efficient and Natural Proof Systems
Guglielmi, A. (PI), Bruscoli, P. (CoI) & McCusker, G. (CoI)
Engineering and Physical Sciences Research Council
1/02/13 → 12/05/16
Project: Research council
-
Metaphors of Identity
Davenport, J. (PI) & Panteli, N. (CoI)
Engineering and Physical Sciences Research Council
1/04/12 → 31/03/13
Project: Research council
-
Sharing and Sequentiality in Proof Systems with Locality
Guglielmi, A. (PI), Bruscoli, P. (CoI), Laird, J. (CoI), McCusker, G. (CoI) & Power, J. (CoI)
29/03/12 → 30/06/14
Project: Research council
-
Real Geometry and Connectedness via Triangular Description
Davenport, J. (PI), Bradford, R. (CoI), England, M. (CoI) & Wilson, D. (CoI)
Engineering and Physical Sciences Research Council
1/10/11 → 31/12/15
Project: Research council
-
-
Graph Models of Functional, Imperative and Logic Programming
McCusker, G. (PI), Guglielmi, A. (CoI), Laird, J. (CoI) & Power, J. (CoI)
20/01/11 → 31/01/14
Project: Research council
-
-
Semantic Structures for Higher-Order Information Flow
Laird, J. (PI)
Engineering and Physical Sciences Research Council
20/06/10 → 19/06/12
Project: Research council
-
Using Audience Response Systems to Improve Student Learning
De Vos, M. (PI) & Davenport, J. (CoI)
1/12/09 → 30/08/10
Project: Central government, health and local authorities
-
-
-
Denotational Semantics for Evaluation Behaviour of Programs
McCusker, G. (PI), Laird, J. (CoI) & Power, J. (CoI)
31/03/08 → 30/03/10
Project: Central government, health and local authorities
-
COMPLEXITY AND NON-DETERMINISM IN DEEP INFERENCE
Guglielmi, A. (PI) & Bruscoli, P. (Researcher)
Engineering and Physical Sciences Research Council
1/02/07 → 30/06/08
Project: Research council
-
ANALYTICITY AND PROOF SEARCH FOR MODAL LOGICS IN DEEP INFERE NCE
Guglielmi, A. (PI)
1/07/06 → 30/06/08
Project: Central government, health and local authorities