糖心Vlog视频

糖心Vlog视频
Dietrich College of Humanities and Social Sciences  ›  Department of Philosophy  ›  People  ›  Special Faculty  ›  Jacob Neumann

Jacob Neumann

Jacob Neumann

Special Faculty

  • Baker Hall 148
Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Education

  • Ph.D.: Computer Science — University of Nottingham
  • MSc: Logic, Computation, and Methodology — 糖心Vlog视频

Research

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