Andrej Bauer
| Andrej Bauer | |
|---|---|
| 200px | |
| Born | 11 May 1971 Maribor, Slovenia |
| Nationality | Slovenian |
| Fields | constructive mathematics computable mathematics homotopy type theory domain theory programming language semantics |
| Institutions | University of Ljubljana Institute for Advanced Study |
| Alma mater | Carnegie Mellon University |
| Doctoral advisor | Dana Scott |
Andrej Bauer (born May 11, 1971) is a Slovenian mathematician at the University of Ljubljana where he holds the title Professor of Computational Mathematics. He does research in logic, constructive and computable mathematics, category theory, and semantics of programming languages. He got his Ph.D. at Carnegie Mellon University in 2000 under the supervision of Dana Scott.[1]
From September to December 2012 Bauer was a visiting scholar at the Institute for Advanced Study[2] where he was invited to join the Special Year on Univalent Foundations of Mathematics.[3] He contributed significantly to this project[4] and helped to produce the document called 'The HoTT Book' which summarized much of the work done during the special year in the new field of Homotopy type theory.[5]
Bauer is a supporter of using web-based software systems such as GitHub to promote collaborative work by mathematicians – the six-hundred-page HoTT Book being a notable example.[6]
References
- ↑ Andrej Bauer's publications indexed by Google Scholar, a service provided by Google
- ↑ Institute for Advanced Study: A Community of Scholars
- ↑ IAS school of mathematics: Univalent Foundations of Mathematics
- ↑ Homotopy Type Theory monograph published, coauthored by Andrej Bauer
- ↑ Announcement of The HoTT Book, by Andrej Bauer, June 20, 2013
- ↑ Princeton Academics form GitHub Book Club
External links
- Andrej Bauer home page
- Mathematics and Computation blog
- Andrej Bauer at the Mathematics Genealogy Project
<templatestyles src="Asbox/styles.css"></templatestyles>
   |
This biographical article about a Slovenian academic is a stub. You can help Wikipedia by expanding it. |
