397 Engineering 2, UCSC
1156 High Street
Santa Cruz, CA 95062
I am a postdoctoral researcher at the University of California, Santa Cruz. I work with Owen Arden on the formal verification of security protocols involving authorization and information flow. I am mostly interested in the application of formal methods and logic to disparate fields like security protocols and machine learning.
I completed my PhD at Chennai Mathematical Institute, where I was advised by R Ramanujam and S P Suresh. I worked on the formal modelling and verification of security protocols involving certification. After my PhD, I did a postdoc at CNRS, France, and then worked at Ericsson Research.