Research group in Nonlinear Algebra

Bernd Sturmfels

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

Inselstr. 22
04103 Leipzig

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


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