FSU | Department of Mathematics
College of Arts and Sciences
Algebraic geometry, category theory, K-theory, intersection theory; homotopy type theory and computer formalization of mathematics; mathematical physics.