Tarmo Uustalu
Original record- Institution
- Kungliga Tekniska Högskolan (KTH)
- Year
- 1998
- Country
- Sweden
- MGP identifier
- 220731
Dissertation: Natural deduction for intuitionistic least and greatest fixedpoint logics, with an application to program construction
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Enn Tõugu (Tyugu)Institution not recorded
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Denis Firsov | Tallinn University of Technology | 2016 | 0 |
| Hendrik Maarand | Tallinn University of Technology | 2020 | 0 |
| Ando Saabas | Tallinn University of Technology | 2008 | 0 |
| Niccolò Veltri | Tallinn University of Technology | 2017 | 1 |
| Cheng-Syuan Wan | Tallinn University of Technology | 2025 | 0 |