Vineet Rajani

Vineet Rajani

MPI-SWS & Saarland University
Saarland Informatics Campus (SIC)

I am a PhD candidate at MPI-SWS (Max Planck Institute for Software Systems), advised by Deepak Garg. Prior to joining MPI-SWS I was working at VMware as a R&D staff and before that I was a graduate student at IIT Madras.

During my PhD, I briefly visited INRIA Sophia Antipolis where I worked with Tamara Rezk on the formal connection between information flow integrity and capabilities.

Broad research interests:
  • Formal logic and verification
  • Language-based security

Imprint / Data Protection