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. 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.
• Trustworthy AI.

Prospective students