Shaurya Gomber

Shaurya Gomber is a first-year Ph.D. student working with Prof. Gagandeep Singh on program analysis and automated reasoning. He received his M.S. in Spring 2024, also with Prof. Singh. His thesis, Neural Abstract Interpretation, proposed the first framework for leveraging neural networks for automated, efficient, and differentiable abstract interpretation and received the David J. Kuck Outstanding M.S. Thesis Award. He also received the Richard T. Cheng Endowed Fellowship 2024. He holds a B.Tech. in Computer Science from IIT Guwahati and has industry experience at D. E. Shaw & Co. and AWS’s Automated Reasoning Group.