University of Illinois at Urbana-Champaign
Department of Mathematics
Area(s) of Expertise
univalent foundations, homotopy type theory, algebraic K-theory
Professor Grayson is a specialist in higher algebraic K-theory and its relationship with algebraic geometry. He also has played a role in the development of the computer algebra systems Mathematica and Macaulay2.
Professor Grayson currently works in Univalent Foundations, a field inaugurated by Vladimir Voevodsky, whose goal is to formalize a large body of modern mathematics, thereby verifying the proofs are correct. Grayson intends to work to understand the logical underpinnings of the system and hopes to formalize the results in a paper of his on algebraic K-theory.