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