Michael Shulman | |
|---|---|
| Born | 1980 (age 42–43) |
| Academic background | |
| Alma mater | California Institute of Technology University of Chicago |
| Doctoral advisor | J. Peter May |
| Academic work | |
| Discipline | Category theory Homological algebra Homotopy type theory |
| Institutions | University of San Diego Institute for Advanced Study |
Michael "Mike" Shulman (/ˈʃuːlmən/; born 1980) is an American associate professor of mathematics at the University of San Diego[1] who works in category theory and higher category theory, homotopy theory, logic as applied to set theory, and computer science.
YouTube Encyclopedic
-
1/3Views:472387375
-
Gluing in Homotopy Type Theory - Michael Shulman
-
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers - Daniel Licata
-
Homotopy and Univalence - Thorsten Altenkirch
Transcription
Work
Shulman did his undergraduate work at the California Institute of Technology and his postgraduate work at the University of Cambridge and the University of Chicago, where he received his Ph.D. in 2009.
His doctoral thesis and subsequent work dealt with applications of category theory to homotopy theory.
In 2009, he received a National Science Foundation Mathematical Sciences Postdoctoral Research Fellowship.[2]
In 2012–13, he was a visiting scholar at the Institute for Advanced Study,[3] where he was one of the official participants in the Special Year on Univalent Foundations of Mathematics.[4] Shulman was one of the principal authors of the book Homotopy type theory: Univalent foundations of mathematics,[5] an informal exposition on the basics of univalent foundations and homotopy type theory.[6] In 2014, Shulman was part of a team headed by Steve Awodey that was awarded a $7.5M grant from the Air Force Research Laboratory for homotopy type theory.[7]
Blogs
Shulman is a supporter of using web-based software systems, such as GitHub, to promote collaborative work by mathematicians—the six-hundred-page Homotopy type theory book being a notable example. He is a prolific contributor to the nLab[8] (and a member of its steering committee[9]), and a co-host of the homotopy type theory blog[10] and of the n-Category Cafe, a blog focusing on higher category theory.[11]
Selected publications
- Michael Shulman; Synthetic Differential Geometry. May 31, 2006.
- Daniel Licata and Michael Shulman; Calculating the fundamental group of the circle in homotopy type theory. January 15, 2013.
- Benedikt Ahrens, Chris Kapulkin, and Michael Shulman; Univalent categories and the Rezk completion. March 4, 2013.
- Michael Shulman – In Cambridge Journals Special Issue: From type theory and homotopy theory to Univalent Foundations of Mathematics; Univalence for inverse diagrams and homotopy canonicity. November 23, 2013.
- John C. Baez and Michael Shulman; Lectures on -categories and cohomology In Baez, John C.; May, J. Peter, eds. (2009). Towards Higher Categories. Springer. ISBN 978-1441915238..
References
- ^ "Michael Shulman, PhD". University of San Diego. Retrieved March 24, 2021.
- ^ Michael Shulman page at the Institute for Advanced Study School of Mathematics
- ^ "Michael Shulman". Institute for Advanced Study: A Community of Scholars.
- ^ "IAS Program Participants Members". IAS school of mathematics: Univalent Foundations of Mathematics. 13 July 2012.
- ^ "HoTT/book Contributions to master, excluding merge commits". GitHub.
- ^ Shulman, Mike (20 June 2013). "The HoTT Book". The n-Category Café.
- ^ "Press Release: Carnegie Mellon Awarded $7.5 Million Department of Defense Grant To Reshape Mathematics". Carnegie Mellon University. 28 April 2014.
- ^ "nLab Authors".
- ^ nLab: steering committee
- ^ Homotopy type theory blog
- ^ Shulman postings to n-Category Cafe blog
External links
- Shulman's home page at University of San Diego
- Michael Shulman at the Mathematics Genealogy Project
- Michael Shulman: Papers
- Shulman postings to Homotopy Type Theory blog
This page was last edited on 22 December 2023, at 17:12