I am a 4th-year PhD student and Fontaine Fellow at the University of Pennsylvania (Penn) being advised by Henry Towsner.

Research Interests

My research interests are broadly in proof theory. I am currently interested in dilators, a higher type functorial notion of ordinal

\[D:\mathbf{Ord}\rightarrow \mathbf{Ord}\]

introduced by J.-Y. Girard in the context of ordinal analysis.

Some specific topics I am interested in are

• ordinal analysis: $\Pi^1_2$-logic / $\beta$-logic
• cyclic proof theory
• type theory: W-types, inductive-recursive types
• categorical perspectives on induction and recursion

About Me

Outside my research, I enjoy functional programming, programming language theory, and philosophy.

• I founded, and organize the Graduate Logic Seminar (GLoS) at Penn.

• I completed my masters at Penn, where I was a Bridge to PhD Fellow and wrote my masters thesis under the supervision of Henry Towsner.

• I got a BS in math at the University of Nevada Las Vegas (UNLV). While at UNLV, I also developed a strong interest in philosophy and sat in on numerous philosophy courses. I am interested broadly in the foundations of math and philosophical logic.

News

• I will be in Oberwolfach, Germany in November for the Mathematical Logic: Proof Theory, Constructive Mathematics workshop.
• I was on a graduate student panel for the 2026 UP GRADe Workshop and gave a short talk on co-induction.
• I was a recepient of the 2026 Dean’s Award for Distinguished Teaching by Graduate Students.