for Jacob Neumann

Welcome!

Thanks for visiting my personal webpage. My name is Jacob Neumann, I'm a researcher studying (and teaching) logic, philosophy, type theory, and category theory. Use the links above to learn more about my work!

Recent News

• Oct. 25: I delivered a talk, A Type Theory for Synthetic 1-Category Theory, for the 2025 Category Theory Octoberfest. My slides are available here, and a recording of the talk is available here.
• Oct. 20: I posted a preprint, A Judgmental Construction of Directed Type Theory, to the arXiv
• Oct. 10: I delivered a talk, An Introduction to Directed Equality, for the Harvard Programming Languages Seminar. My slides are available here.
• Sep. 16 I defended my PhD thesis, A Generalized Algebraic Theory of Directed Equality. I passed with typographical corrections.
• Jun. 09: I delivered a talk, Synthetic-Inductive Category Theory, at the TYPES 2025 Conference. The abstract is available here and my slides are available here.
• Jun. 05 I submitted my PhD thesis, A Generalized Algebraic Theory of Directed Equality.
• May 07: I delivered a talk, Polarity Problems and the Semantics of Directed Type Theory, for the Computer Science Theory Seminar (TSEM) of the Tallinn University of Technology's Logic and Semantics Group. My slides are available here and the abstract can be found here.
• Apr. 25: I delivered a talk, Polarized and Directed Type Theory, at a meeting of the Icelandic advantage in computer-assisted proof (Iceproof) project. My slides are available here.
• Apr. 18: I delivered a talk, GATs, Cats, and CwFs, at the 2025 Meeting of EuroProofNet Working Group 6. My slides are available here.
• Feb. 26: I delivered a talk, GAT Signature Languages: A Begriffsschrift for Concrete Structures, at the February 2025 meeting of ASSUME. My slides are available here.