Andrej Bauer
Original record- Institution
- Carnegie Mellon University
- Year
- 2000
- Country
- United States
- MGP identifier
- 50365
Dissertation: The Realizability Approach to Computable Analysis and Topology
Advisor 1
- Dana Stewart ScottPrinceton University · 1958
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Gregor K. Dolinar | University of Ljubljana | 2013 | 0 |
| Melita Hajdinjak | University of Ljubljana | 2006 | 0 |
| Philipp G. Haselwarter | University of Ljubljana | 2022 | 0 |
| Davorin Lešnik | University of Ljubljana | 2010 | 0 |
| Anja Petković Komel | University of Ljubljana | 2021 | 0 |