Gan Shen

I'm a PhD student in Computer Science at University of California, Santa Cruz.

Research

I'm interested in programming languages, type systems and formal methods.

Currently, I'm working with Prof. Lindsey Kuper.

Publications

to come...

Contact

Email: gshen42@ucsc.edu