EPSRC logo
Current EPSRC Support by Department

Organisation: University of Kent
Department: Sch of Computing

Grant TitlePrincipal InvestigatorValue (£)
A Platform for Responsive Conversational Agents to Enhance Engagement and Disclosure (PRoCEED)Nurse, Dr JRC 163,555
Academic Centre of Excellence in Cyber Security Research - University of KentLi, Professor S 64,602
CaMELot: Catching and Mitigating Event-Loop Concurrency IssuesMarr, Dr S 209,756
CapC: Capability C semantics, tools and reasoningBatty, Dr M 485,168
PRIvacy-aware personal data management and Value Enhancement for Leisure Travellers (PriVELT)Li, Professor S 429,069
Session Types for Reliable Distributed Systems (STARDUST)Bocchi, Dr L 555,120
Towards a physical theory of computer science.Chu, Dr D 49,181
Verifiably Correct Transactional MemoryBatty, Dr M 82,904
Verifying Resource-like Data Use in Programs via TypesOrchard, Dr DA 229,328

Total Number of Grants: 9
Total Value of Grants: £2,268,682

The grant value may include the cost of access to facilities (these funds are not awarded to the grant holding organisation).