Core Database - Distributed Storage & Transactions - Data Path Team - Designed and implemented features and changes centered around transaction handling and the data storage layer of C++ distributed database, including adding support of efficient transactions in geographically partitioned use cases, identifying and resolving performance and data consistency issues, and improved tooling for storage layer observability and for debugging disk I/O and memory utilization.

Blockaid: Data Access Policy Enforcement for Web Applications - system for dynamic enforcement of data access policies (such as those inspired by privacy legislation such as GDPR, CCPA) over series of queries on data, implemented in Java as a custom JDBC driver leveraging SMT solvers for compliance decisions and for generalizing decisions for effective caching.

CS 186: Introduction to Database Systems - designed and created multiple course projects (implementing a toy database in Java), managed distributed autograder, built tools to assist with autograder management and grade administration, taught sections, held office hours, and helped write, review, and grade examinations.

Clipper Project - prediction serving system in Python for serving machine learning models; built prototype for dynamic selection policies.

Infrastructure Team - built and deployed internal permission service in Python to authenticate employees to internal services.