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
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