I'm a first-year PhD student co-advised by Alvin Cheung and Joe Hellerstein in the Sky Computing Lab at UC Berkeley, where I research programming languages and distributed systems. Most recently, I've developed program synthesis algorithms that can automatically create provably-correct CRDT designs, which enable state replication with low-latency and high-throughput. I'm grateful to be supported by an NSF Graduate Research Fellowship.

Previously, I received my BS in EE/CS at Berkeley, where I was fortunate to work with Koushik Sen on new approaches to compile-time metaprogramming and program synthesis for data science tasks. I've interned at Google Brain, Facebook, Apollo GraphQL, Khan Academy, Coursera, and Paya Labs, where I worked with GraphQL, Rust, React, and Scala.js to develop open-source libraries, education platforms, and large-scale infrastructure.

I host many open-source libraries and projects on GitHub, and have a channel on YouTube. I've presented a keynote at OSCON 2014 and at Scala Days (2012, 2013, 2014, 2015, 2016, 2017, 2018), GraphQL Summit, Scale By the Bay, and various other technical conferences. In high school, I was the Co-President of Lynbrook Robotics, where I led a competitive robotics team of over 100 students. I continue to be involved with the team, where I focus on introducing students to advanced control theory topics and software design principles.