Spencer Woolfson

I am a researcher in logic and type theory. My work focuses on category theory, Homotopy Type Theory (HoTT), and the formalization of mathematics using proof assistants such as Lean. I recently completed my studies at Carnegie Mellon University, and in the fall I will begin the Doctor of Science in Mathematics, Philosophy, and Physics at Chapman University.