EPSRC logo


Panel Name: EPSRC ICT Prioritisation Panel July 2019
Date of Panel: 10 July 2019
Panel Contact: Richardson, Natasha

Panel Rank Ordered List:  d. Standard Research

RankGrant ReferencePrincipal InvestigatorHolding OrganisationGrant TitleValue (£)
1.
EP/T00696X/1
Abramsky, Professor SUniversity of OxfordResources and co-resources: a junction between semantics and descriptive complexity400,336
1.
EP/T007257/1
Dawar, Professor AUniversity of CambridgeResources and co-resources: a junction between semantics and descriptive complexity399,683
2.
EP/T006579/1
Murawski, Professor AUniversity of OxfordHigher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs409,019
2.
EP/T006595/1
Ramsay, Dr S JUniversity of BristolHigher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs366,931
3.
EP/T004878/1
Meeks, Dr KUniversity of GlasgowMultilayer Algorithmics to Leverage Graph Structure (MultilayerALGS)765,538
4.
EP/T007265/1
Brady, Dr ECUniversity of St AndrewsProgramming as Conversation: Type-Driven Development in Action367,276
5.
EP/S036261/1
Murphy, Professor JDUniversity of WarwickComputational spectral imaging in the THz band234,311
5.
EP/S036466/1
Hendry, Professor EUniversity of Exeter"Computational spectral imaging in the THz band"612,664
6.
EP/T007303/1
  Financial Deferral 
7.
EP/T000767/1
  Financial Deferral 
8.
EP/T000554/1
  Not Funded 
9.
EP/T003626/1
  Not Funded 
9.
EP/T004398/1
  Not Funded 
9.
EP/T004770/1
  Not Funded 
10.
EP/T000295/1
  Not Funded 
10.
EP/T001089/1
  Not Funded 
10.
EP/T006307/1
  Not Funded 
11.
EP/T006668/1
  Not Funded 
12.
EP/T006226/1
  Not Funded 
13.
EP/T006676/1
  Not Funded 
13.
EP/T006854/1
  Not Funded 
13.
EP/T006870/1
  Not Funded 
14.
EP/T000430/1
  Not Funded 
14.
EP/T000899/1
  Not Funded 
15.
EP/T002565/1
  Not Funded 
15.
EP/T004401/1
  Not Funded 
15.
EP/T00441X/1
  Not Funded 
16.
EP/S029893/1
  Not Funded 
16.
EP/S033793/1
  Not Funded 
17.
EP/T006099/1
  Not Funded 
17.
EP/T00617X/1
  Not Funded 
18.
EP/T001690/1
  Not Funded 
18.
EP/T001755/1
  Not Funded 
19.
EP/T00505X/1
  Not Funded 
20.
EP/T006048/1
  Not Funded 
20.
EP/T006056/1
  Not Funded 
20.
EP/T006110/1
  Not Funded 
21.
EP/T006994/1
  Not Funded 
22.
EP/T001518/1
  Not Funded 
23.
EP/T000570/1
  Not Funded 
24.
EP/T003391/1
  Not Funded 
24.
EP/T003456/1
  Not Funded 
 
EP/T00696X/2
Abramsky, Professor SUCLResources and co-resources: a junction between semantics and descriptive complexity195,571

Notes:

  1. To maintain the anonymity of applicants, full details are available only for those proposals that have been funded.
  2. The number shown is the rank assigned by the panel at the meeting.
  3. Where proposals have the same number, these are joint proposals that were considered as a single application.
  4. Proposals showing as 'Decision Awaited' are given a rank 'n/a' until the decision has been made, and then the final rank will appear.
Return to the main panel page