Assistant Professor, Department of Computer Science, University of Southern California
August, 2019–Present
Postdoctoral Researcher at the University of Pennsylvania
May, 2017–August, 2019
Advisor: Mayur Naik
Visiting Researcher at EPFL
September–December, 2016
Advisor: Viktor Kuncak
Research Intern at Microsoft Research Ltd., Cambridge, U.K.
June–August, 2013, June–August, 2014
Advisor: Youssef Hamadi, Yi Wei
Software Development Engineer Intern at Microsoft Corporation, Redmond, WA
May–July, 2009
Education
Ph.D. in Computer and Information Science. May, 2017.
Thesis: Regular Programming over Data Streams
Advisor: Rajeev Alur
University of Pennsylvania
B.Tech in Computer Science. May, 2010.
Thesis: State Reachability in Counter Automata
Advisor: Purandar Bhaduri
Indian Institute of Technology, Guwahati
Awards
Distinguished Artifact Award at ICSE 2022 for paper on Bayesmith
NSF CAREER Award 2022 for project on Statistical Foundations of Program Reasoning
SIGPLAN Distinguished Paper Award at PLDI 2019 for paper describing Drake
Developed the stochastic SyGuS solver stoch, which placed 2nd and 3rd in the first and second
SyGuS competitions respectively
Honourable mention at the ACM ICPC Asia Regionals, 2009, held at IIT Kanpur
National Talent Search Scholarship, 2004, by the National Council for Educational Research and
Training