Vaishnavi Sundararajan

Postdoctoral Researcher at the LSD Lab at UC Santa Cruz.

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.