Expertise

I study programming languages and logic through the lens of type theory, a logical framework for computer programs and mathematical proofs; I like to look for fundamental ideas in type theory that can enable practical advances in its expressivity and ease of use. My main research interests are in dependent types, proof assistants, and homotopy type theory.

Past Affiliations

Postdoctoral Fellow, Computer Science Department, School of Computer Science, Carnegie Mellon University (past)

PhD Student, Computer Science Department, School of Computer Science, Carnegie Mellon University (past)

Graduate Research Assistant, Computer Science Department, School of Computer Science, Carnegie Mellon University (past)

Communities
Computer Science
Degrees
PhD, Carnegie Mellon University, Computer Science, 2019
BS, Indiana University Bloomington, Mathematics and in Computer Science