The University of Iowa
14 MacLean Hall
Iowa City, IA 52242
I am a doctoral candidate in Computer Science at the University of Iowa, where I’m a member of the Computational Logic Center. I like (functional) programming languages, semantics, and type theory.
My active research interest is in expressing extensible data types using row types (with Dr. J. Garrett Morris, Co-Advisor). My current work is in expanding the expressivity of System Rω, a higher-order row calculus with label-generic combinators.
I am also very interested in:
- various applications of row type systems, e.g. session types, and algebraic effects & handlers;
- language mechanization in Agda, by way of both shallow embeddings (with denotational semantics) and deep embeddings (with operational semantics);
- and using Mendler-style recursion schemes to enforce type-based termination checking in total languages (e.g. Coq).