Vineet Rajani



I am a Senior Lecturer in the School of Computer Science and Engineering at the University of New South Wales (UNSW) Sydney.

Before joining UNSW, I was 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. At Kent, I was also a core member of the Institute of Cyber Security for Society. Prior to 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 UNSW's PhD program can be found here.