Published papers in various venues like ICSE, ASE, ISSTA, etc.; received NSF grants, served on organizing committees or review boards for several conferences; awarded ACM SIGSOFT Distinguished Paper Awards and other recognitions.
Research Experience
Worked as a visiting academic at Amazon Web Services, a research intern at Microsoft Research, a security engineering intern at Samsung Research America, and spent two years at IBM Research India in the developer productivity group.
Education
Ph.D. in Computer Science from UC Berkeley, advised by Koushik Sen; Master's degree from IIT Bombay, with a thesis on static program analysis.
Background
Research interests include techniques for automatically discovering software bugs, spanning areas such as software engineering, programming languages, systems, and security. Leads the PASTA (Program Analysis, Software Testing, and Applications) research group.
Miscellany
Lead designer of the ChocoPy programming language, used in undergraduate compilers courses at UC Berkeley and other universities worldwide; academic ancestors include Newton, Galileo, Kepler, and Copernicus.