Dr Vineet Rajani

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