Jakob Nordström
Original record- Institution
- Kungliga Tekniska Högskolan (KTH)
- Year
- 2008
- Country
- Sweden
- MGP identifier
- 132326
Dissertation: Short Proofs May Be Spacious: Understanding Space in Resolution
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Johan Torkel HåstadMassachusetts Institute of Technology · 1986
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Susanna Figueiredo de Rezende | Kungliga Tekniska Högskolan (KTH) | 2019 | 1 |
| Stephan Gocht | Lund University | 2022 | 0 |
| Mladen Mikša | Kungliga Tekniska Högskolan (KTH) | 2017 | 0 |
| Kilian Risse | Kungliga Tekniska Högskolan (KTH) | 2022 | 0 |
| Marc Vinyals | Kungliga Tekniska Högskolan (KTH) | 2017 | 0 |