Hi there! 👋 Welcome. I'm Gan. I'm an Applied Scientist at Amazon Web Services in the Automated Reasoning Group.

I'm broadly interested in programming languages, formal methods, and software verification, focusing on their applications to building reliable and extensible software systems.

I received my PhD in Computer Science from UC Santa Cruz, where I was advised by my wonderful advisor Lindsey Kuper.

You can reach me via email, or find me on GitHub, Mastodon, and LinkedIn.