Experience

Work Experience

Principal Scientist
Snowflake
2025 – Present
Working on making Data and AI systems reliable and trustworthy. Integrating formal methods and rigorous software testing into the development process.
Principal Applied Scientist
Amazon Web Services (AWS)
2019 – 2025
Led a cross-functional team building tools for model checking, scalable fuzzing, property-based testing, and runtime monitoring. Adopted by 80+ service teams and 600+ developers, finding critical bugs in S3, DynamoDB, EBS, Aurora, EC2, and CloudFront. Built scalable fuzzing infrastructure that played a key role in the launch of Aurora DSQL and Aurora Limitless.
Graduate Student Researcher
University of California, Berkeley
2013 – 2019
Research in programming languages, formal methods, verification, and runtime monitoring applied to building reliable distributed and robotics systems. Created the P programming framework.
Research Intern
SRI International, Menlo Park
Summer 2017
Built a runtime assurance framework for robotics systems using untrusted machine learning components.
Research Intern
Microsoft Research, Redmond
Summers 2014, 2015, 2016
Worked on theory and implementation required to scale the P framework to reason about distributed systems at Microsoft.
Research Engineer
Microsoft Research, Bangalore, India
2010 – 2013
Created a scalable model checker for concurrent systems used for validating correctness of concurrent device drivers. Found 300+ bugs in Windows 8 USB driver stack. Developed PerfOrator, a framework for performance prediction of distributed queries.
Graduate Student Researcher
Indian Institute of Technology, Kanpur
2008 – 2010
Led the on-board computer team for India's first nanosatellite JUGNU (launched October 12, 2011). Designed fault-tolerant software systems and adaptive communication protocols for LEO satellites.

Education

University of California, Berkeley
Ph.D. in Electrical Engineering and Computer Sciences
2013 – 2019
Thesis: Modular and Safe Event-Driven Programming
Advisors: Prof. Sanjit Seshia and Dr. Shaz Qadeer
Indian Institute of Technology, Kanpur
Master of Technology in Computer Science and Engineering
2008 – 2010
Thesis: Fault-Tolerant On-Board Computers for Nanosatellite
Advisor: Prof. Arnab Bhattacharya

Awards & Recognition

  • Sevin Rosen Funds Departmental Award for Innovation for research impact, UC Berkeley (2017–18).
  • Finalist for the Microsoft Research Ph.D. Fellowship (2016).
  • Led the on-board computers team for India's first nanosatellite JUGNU (launched October 12, 2011).
  • Sir Ratan Tata Trust Merit Scholarship for academic excellence (2004–05).
  • Sir J.R.D Tata Trust Merit Scholarship for academic excellence (2003–04).