Vineet Rajani

Vineet Rajani

Post-doc researcher
(firstname.lastname @ csp.mpg.de)
Max Planck Institute for Security and Privacy



I am a post-doc researcher at Max Planck Institute for Security and Privacy (MPI-SP), working with Gilles Barthe. Prior to joining MPI-SP, I did my PhD at MPI-SWS under the supervision of Deepak Garg. 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:
  • Type theory and formal verification
  • Cost analysis
  • Language-based security