Grayson, Daniel R.
[M] School of Mathematics
Field of Study: Mathematics
Research Description: 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. At the Institute, he will help develop homotopy type theory and related software into a useful tool for verifying the proofs of modern mathematics.
Home Institution: University of Illinois at Urbana-Champaign
AMIAS Member; additional funding provided by the Charles Simonyi Endowment
| Type | Affiliation | Start Date | End Date |
|---|---|---|---|
| [M] | Math | 9/1/1981 | 6/30/1982 |
| [M] | Math | 9/19/2012 | current |
Current Homepage: dangrayson.com/
Position: Professor Emeritus
Start year: 2007
Department: Mathematics
Institution: University of Illinois at Urbana-Champaign
Current Field of Study: Algebraic K-theory
| Appointment | Organization | Start Year | End Year |
|---|---|---|---|
| Faculty Member | University of Illinois at Urbana-Champaign | 1981 | 2007 |
| RItt Assistant Professor | Barnard College at Columbia University | 1976 | 1981 |
| Degree | Year | Institution |
|---|---|---|
| Ph.D. | 1976 | Massachusetts Institute of Technology |
| M.Sc. | 1972 | University of Chicago |
| B.Sc. | 1972 | University of Chicago |