Vineet Rajani



I am a lecturer in the School of Computing at the University of Kent, affiliated with both the Programming languages and Systems group and the Cyber security group. I am also a core member of the Institute of Cyber Security for Society.

Prior to joining Kent, I was a post-doc researcher at MPI-SP and before that I did my PhD at MPI-SWS.
Before my PhD, I worked at VMware as a R&D staff, and before that, I was a graduate student at IIT Madras.

Broad research interests:
  • Logic and verification
  • Security and privacy
  • Causal inference and machine learning


Prospective students:
I am always looking for good students. If interested, please send me an email describing your research interests along with your CV.
More information about Kent's PhD program can be found here.