Carsten Schuermann
Original record- Institution
- Carnegie Mellon University
- Year
- 2000
- Country
- United States
- MGP identifier
- 50330
Dissertation: Pure and Applied Logic: Automating the Meta Theory of Deductive Systems
Advisor 1
- Frank PfenningCarnegie Mellon University · 1987
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Anders Starcke Henriksen | Københavns Universitet | 2011 | 0 |
| Fulya Feryal Horozal | Jacobs University Bremen | 2014 | 0 |
| Adam Brett Poswolsky | Not recorded | — | 0 |
| Jeffrey Sarnat | Yale University | 2010 | 0 |
| Jatin Shah | Yale University | 2006 | 0 |