About Me

I am a doctoral student at the department of Computer and Information Science, University of Pennsylvania, where I am advised by Rajeev Alur. Recently, I have been working on verification of neural network controllers for the F1/10 autonomous vehicle testbed.

Before Penn, I was an undergraduate at the department of Computer Science, Indian Institute of Technology, Bombay.

My current research interests include formal methods, programming languages, and machine learning.

---

Publications

Compositional Learning and Verification of Neural Network Controllers [pdf]
Rajeev Alur, Osbert Bastani, Steve Hsu, Radoslav Ivanov, Kishor Jothimurugan, Shaan Vaidya
EMSOFT 2021 [slides]

Verification of Timed Asynchronous Programs [pdf]
Parosh Abdulla, Mohamed Faouzi Atig, Krishna S., Shaan Vaidya
FSTTCS 2018 [slides]

---

CV