Portrait of Dr Vineet Rajani

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