About Me

I am a fifth year PhD candidate, in the CS department at UCLA, where I am fortunate to be advised by two amazing people, Prof. Todd Millstein and Prof. George Varghese. My research interests lie at the intersection of Networks and Programming Languages. I worked on finding network (router) misconfigurations by automatic template inference that resulted in a tool called SelfStarter that was used in Microsoft. My current focus is on using formal methods to improve the robustness of DNS.

My projects in network verification have been in collaboration with Ryan Beckett, Behnaz Arzani and Karthick Jayaraman from Microsoft. Our work, GRoot: Proactive Verification of DNS Configurations, received a SIGCOMM best student paper award and has also been featured on the APNIC blog.

Before UCLA happened, I was an undergraduate student in the CSE department at IIT Kharagpur where I was advised by Prof. Sandip Chakraborty for my undergraduate thesis.

Recent Updates · · · ( Details )

Presentation @ NetVerify ' 21
( virtual )

Internship @ Amazon
( Virtual )