Susanna Figueiredo de Rezende
Original record- Institution
- Kungliga Tekniska Högskolan (KTH)
- Year
- 2019
- Country
- Sweden
- MGP identifier
- 270580
Dissertation: Lower Bounds and Trade-offs in Proof Complexity
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Jakob NordströmKungliga Tekniska Högskolan (KTH) · 2008
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Stephan Gocht | Lund University | 2022 | 0 |