Research group in Nonlinear Algebra

Head:
Bernd Sturmfels

Contact: Email
Phone:
+49 (0) 341 - 9959 - 750

Address:
Inselstr. 22
04103 Leipzig

Administrative Assistant:
Saskia Gutzschebauch
Email, Phone/Fax:
+49 (0) 341 - 9959
- 752
- 658

Facebook

Daniel Grayson

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.


June 6, 2018

<<<< Previous                          All                         Next >>>>

09.03.2020, 17:17