Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Dan Grayson

Title Professor Em.
Academic Institution University of Illinois at Urbana-Champaign
Academic department Department of Mathematics
Country USA
Contact Information +1 217 377 0458 http://dangrayson.com/
Disciplines Mathematics
Area(s) of Expertise univalent foundations, homotopy type theory, algebraic K-theory

About fellow

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.

CAS Project