 |
UPDATE! I have been selected for the prestigious Heidelberg Laureate Forum! UPDATE! I am chairing the Static Analysis Symposium 2021 Artifact Evaluation Committee! UPDATE! Our work on leveraging reinforcement learning to find complex concurrency bugs now features in the Microsoft Research Blog! UPDATE! Our paper on Learning-Based Controlled Concurrency Testing won the Distinguished Artifact Award at OOPSLA 2020! Current Designation: Software Engineer, One Engineering System, Microsoft Corporation (April 2021 - present) Previous Organizations:
Hello. I am presently a software engineer at Microsoft. I spent more than 3 wonderful years as a post-doctoral researcher at Microsoft Research, Bangalore, India. Before that, I was a software engineer at Arista Networks, Bangalore. Prior to that, I was a Ph.D. student in the Programming Languages Laboratory, at the Department of Computer Science and Automation, Indian Institute of Science, Bangalore. My Ph.D. thesis involves designing efficient algorithms for the static analysis of concurrent computer programs. |
Template courtesy OS Templates