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.

Publications

to come...

Contact

Email: gshen42@ucsc.edu