Welcome!

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