Academics

Articles and Preprints §

• Learners are Almost Compact Closed.
  ACT 2024, June 2024.
  [pdf]
• A Type Theory with a Tiny Object.
  2024.
  [arXiv:2403.01939]
• Conway’s Game of Life is Omniperiodic.
  With Nico Brown, Carson Cheng, Tanner Jacobi, Maia Karpovich, Matthias Merzenich, and David Raucci.
  2023.
  [arXiv:2312.02799] [Quanta]
• Commuting Cohesions.
  With David Jaz Myers.
  2023.
  [arXiv:2301.13780]
• Synthetic Spectra via a Monadic and Comonadic Modality.
  With Eric Finster and Dan Licata.
  2021.
  [arXiv:2102.04099]
• Categories of Optics.
  2018.
  [arXiv:1809.00738]
• A Fibrational Framework for Substructural and Modal Logics.
  With Dan Licata and Mike Shulman.
  FSCD, 2017.
  [short pdf] [extended pdf]

Dissertation §

• A Bunched Homotopy Type Theory for Synthetic Stable Homotopy Theory.
  Advisor: Dan Licata.
  Wesleyan University, May 2022.
  [pdf]

Talks §

• Tiny Types and Cubical Type Theory
  HoTTEST, April 2025.
  [slides]
  [video]
• Learners are Almost Compact Closed.
  ACT 2024, June 2024.
  [slides]
• Tiny Types.
  Running HoTT in Abu Dhabi, April 2024.
  [slides]
• Linear HoTT and Quipper.
  Running HoTT in Abu Dhabi, April 2024.
  [slides]
• Commuting Cohesions.
  HoTT 2023, May 2023.
  [slides]
• Combining Bunched Type Theory with Dependent Types.
  Atlantic Category Theory Seminar, February 2022.
  [slides]
• Linear Homotopy Type Theory.
  HoTTEST Event for Junior Researchers, January 2022.
  [slides] [video]
• Constructive Mathematics for People Who Aren’t Not Normal.
  Wesleyan Graduate Student Seminar, November 2021.
• Using Linear Homotopy Type Theory Informally.
  Carnegie Mellon University, October 2021.
  [slides]
• Good Categories with Bad Objects.
  Wesleyan Graduate Student Seminar, September 2021.
• Extending Homotopy Type Theory with Linear Type Formers.
  CCS Colloquium, Augusta University, March 2021.
  [slides] [video]
• A Type Theory for Parameterised Spectra.
  ICMS Session on Univalent Mathematics, July 2020.
  [slides]
• Synthetic Spectra via a Monadic and Comonadic Modality.
  HoTTEST Conference, June 2020.
  [slides] [video]
• A Type Theory for Parameterised Spectra.
  Carnegie Mellon University, March 2020.
  [slides]
• A Type Theory for Parameterised Spectra.
  Wesleyan University, February 2020.
  [slides]
• Combinatorial Game Theory.
  Wesleyan Graduate Student Seminar, November 2019.
• Categories of Optics.
  MIT (Applied) Categories Seminar, May 2019.
  [video]
• Yoneda Arises Everywhere.
  Wesleyan Graduate Student Seminar, January 2019.
• Exact Real Arithmetic in Haskell.
  Brisbane Functional Programming Group, May 2015.
  [video] [code]

Reviewing §

I was an organiser of HoTT/UF 2024 and HoTT/UF 2025, and helped organise the Running HoTT conference at NYUAD.

I have acted as a reviewer for LICS, ACT, and FSCD.

Teaching §

• Spring 2022: TA for COMP301, Automata Theory and Formal Languages.
• Fall 2021: TA for COMP321, Principles of Programming Languages.
• Spring 2021: TA for COMP212, Functional Programming.
• Fall 2020: TA for COMP301, Automata Theory and Formal Languages.
• Spring 2020: TA for COMP212, Functional Programming.
• Spring 2019: Lecturer for MATH120, Elements of Calculus, Part II.
• Fall 2018: TA for COMP112, Introduction to Programming.
• Spring 2018: Lecturer for MATH118, Introductory Calculus II: Integration and Its Applications.
• Spring 2017: TA for COMP312, Algorithms and Complexity.
• Fall 2016: TA for COMP211, Computer Science I.