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

• Jun. 04: I delivered a talk, On Autosynthesis, at the 3rd Workshop on Syntax and Semantics of Type Theory. The abstract is available here and my slides are available here.
• Nov. 26: I released the first YouTube video explaining my PhD thesis, Bourbaki vs. Category Theory: What is Mathematics About?
• 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.