A picture of me

Gan Shen

Email: gshen42@ucsc.edu
GitHub | Mastodon | ORCID

About

Hi👋, I'm a PhD student at the University of California, Santa Cruz, advised by Lindsey Kuper in the LSD lab.

I do research on programming languages, with a focus on their applications in building distributed systems that are elegant, correct, and efficient (in this order!).

More specifically, I work on choreographic programming, a programming paradigm where one writes a single program that describes the complete behavior of a distributed system and then compiles it to individual programs that run on each node. In this way, the generated programs are guaranteed to be deadlock-free. See HasChor, our implementation of choreographic programming in Haskell, for more details.

I did two internships in the Automated Reasoning Group at Amazon Web Service in the summer of 2022 and 2023, where I worked on modeling and verifying distributed protocols.

Research

Teaching

At UCSC, as a teaching assistant:

Personal

My first name “Gan” is a single Chinese character “赣” which is the abbreviation for Jiangxi province of China, my mother's hometown.