Hi, I'm Shadaj

I explore the boundaries of programming

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.

Latest News

Jun 2022
Jan 2022
Attending CIDR 2022, and learning how to pitch programming languages research to the database community
Aug 2021
Started my PhD at UC Berkeley in the RISELab, working on the Hydro project under Alvin Cheung and Joe Hellerstein
Apr 2021
Received the EECS Major Citation award!