David Alan Basin
Original record- Institution
- Cornell University
- Year
- 1989
- Country
- United States
- MGP identifier
- 50712
Dissertation: Building Problem Solving Environments in Constructive Type Theory
Advisor 1
- Robert Lee ConstableUniversity of Wisconsin-Madison · 1968
Students 15
| Name | Institution | Year | Students |
|---|---|---|---|
| Achim D. Brucker | Not recorded | — | 1 |
| Bruno Conchinha Montalto | ETH Zürich | 2014 | 0 |
| Michèle Feltz | Not recorded | — | 0 |
| Mario Frank | ETH Zürich | 2011 | 0 |
| Marco Guarnieri | Not recorded | — | 0 |
| Boris Alexander Köpf | Not recorded | — | 0 |
| Heiko Mantel | Not recorded | — | 2 |
| Christian Matt | Not recorded | — | 0 |
| Simon Meier | Not recorded | — | 0 |
| Sebastian Alexander Mödersheim | Not recorded | — | 4 |
| Arsenii Rudich | Not recorded | — | 0 |
| Patrick Schaller | Not recorded | — | 0 |
| Seyed Reza Sefidgar | Not recorded | — | 0 |
| Luca Viganò | Universität des Saarlandes | 1997 | 3 |
| Michael Wahler | Not recorded | — | 0 |