Siva Kesava Reddy Kakarla

关于

I am a senior researcher in the Networking Research Group (opens in new tab) at Microsoft Research, Redmond (opens in new tab). 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 (opens in new tab) from UCLA (opens in new tab) in 2022, advised by Prof. Todd Millstein (opens in new tab) and Prof. George Varghese (opens in new tab). 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 (opens in new tab) at IIT Kharagpur (opens in new tab) where I was advised by Prof. Sandip Chakraborty (opens in new tab) for my undergraduate thesis.