Find your future
at our Open Days
Book nowat our Open Days
I belong to the following research groups at Kent:
Programming Languages and Systems
Cyber Security
I am also a core member of the Institute of Cyber Security for Society (iCSS)
Type theory and formal verification, Language-based security, Resource analysis
Theory of computing : COMP5190