EPSRC logo
Current EPSRC Support by Department

Organisation: University of Kent
Department: Sch of Computing

Grant TitlePrincipal InvestigatorValue (£)
CapC: Capability C semantics, tools and reasoningBatty, Professor M 485,168
Countering HArms caused by Ransomware in the Internet Of Things (CHARIOT)Arief, Dr LB 448,162
MEBI: Mechanised Bisimilarities and Behavioural-typed ProcessesCastro-Perez, Dr D 162,324
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Batty, Professor M 374,699
Session Types for Reliable Distributed Systems (STARDUST)Bocchi, Dr L 555,120
Transparent pointer safety: Rust to Lua to OS ComponentsBatty, Professor M 494,770
TYPDSEC: TYPe-based information Declassification and its SEcure CompilationRajani, Dr V 160,392

Total Number of Grants: 7
Total Value of Grants: £2,680,635

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