About Me

I am a senior researcher in the Networking Research Group at Microsoft Research, Redmond. I am interested in researching all aspects of the design and implementation of high-performance network automation tools with insights from verification, testing, anomaly detection, algorithms, and automata theory.

I graduated with a Ph.D. in CS from UCLA in 2022, advised by two amazing people, Prof. Todd Millstein and Prof. George Varghese. My Ph.D. research work was focused on using formal methods to improve the robustness of DNS. I have also worked on finding network (router) misconfigurations by automatic template inference during my Ph.D.

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

Contact Me

Office:   Microsoft Building 99, Redmond, WA
Email:   sivakakarla microsoft com

Recent Updates · · · ( Details )

Sep22
Article on netverify.fun site
Aug22
Senior Researcher @ MSR
( Redmond, WA )
Jun22
APNIC blog post about Ferret
Jun22
Jun22