Dr Vineet Rajani

Dr Vineet Rajani

Lecturer in Computing


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)

Research interests

Type theory and formal verification, Language-based security, Resource analysis 


Theory of computing : COMP5190 

Last updated