I'm a first-year PhD student in Computer Science at University of California, Santa Cruz, working with Prof. Lindsey Kuper in the LSD Lab.

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

Publications

to come…

Contact

Email: gshen42 at ucsc.edu