Academics
Papers and Preprints
Dissertation
- A Bunched Homotopy Type Theory for Synthetic Stable Homotopy Theory.
Advisor: Dan Licata.
Wesleyan University, May 2022.
[pdf]
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]
Talks
- 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 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.