Gan Shen

PhD student in Computer Science at University of California, Santa Cruz.

Research

I'm broadly interested in functional programming, type theory, and logic.

Currently, I'm working with Prof. Lindsey Kuper on applying programming languages technologies to build better distributed systems.

Publications

to come...

Contact

Email: gshen42@ucsc.edu