Hi there! 👋 Welcome. I'm Gan. I'm currently 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, under the guidance of my wonderful advisor, Lindsey Kuper.

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