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.
Click here for my Microsoft webpage.
Office: Microsoft Building 99, Redmond, WA
Email: sivakakarla microsoft com