Nonlinear Algebra People - 2018
Daniel Grayson
June 6, 2018
Daniel Grayson’s research focuses on algebraic K-theory and its connection with motivic cohomology. He has also helped write mathematical software, including Mathematica and Macaulay2.
Recently he has become interested in foundational questions. He has been working on combining homotopy type theory and the univalent foundations of Voevodsky into a useful tool for verifying the proofs of modern mathematics on the computer, as well on formalizing proofs of theorems in the UniMath project.
