Jasper Hugunin

About Me

I am an undergraduate at the University of Washington studying Computer Science and Mathematics. Working with Dr. Dan Grossman and Talia Ringer, I wrote a paper on constructing inductive-inductive types in cubical type theory. I also contribute to the Coq proof assistant. Currently I am applying to graduate school, working towards a PhD in type theory.

You can contact me by email at jasper@hugunin.net. My ORCID is 0000-0002-1133-5354. My resume is here.

Drafts

Talks