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 email@example.com. My ORCID is 0000-0002-1133-5354. My resume is here.