EPSRC logo
EPSRC Support By Scheme in Standard Research

Organisation: LMAT Ltd
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
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

Total Number of Grants: 5
Total Value of Grants: £2,357,918

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