Dr Vineet Rajani
Lecturer in Computing
About
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
Teaching
Theory of computing : COMP5190
Last updated