EPSRC logo
EPSRC Support By Scheme in Standard Research - NR1

Organisation: University of Kent
Department: Sch of Computing

Grant TitlePrincipal InvestigatorValue (£)
MEBI: Mechanised Bisimilarities and Behavioural-typed ProcessesCastro-Perez, Dr D 162,324
TYPDSEC: TYPe-based information Declassification and its SEcure CompilationRajani, Dr V 160,392

Total Number of Grants: 2
Total Value of Grants: £322,717

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