Vineet Rajani

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

Before joining UNSW, I was a Lecturer (equivalent to US Assistant Professor) 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.