91ÊÓƵ

Jacob Neumann

Special Faculty

Education

• Ph.D.: Computer Science — University of Nottingham
• MSc: Logic, Computation, and Methodology — 91ÊÓƵ

Research

• Logic
• Category theory
• Semantics of (homotopy) type theory
• Computer Formalization
• Modal logic