Tarmo Uustalu
Ph.D. Kungliga Tekniska Högskolan (KTH) 1998
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)
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Saabas, Ando | Tallinn University of Technology | 2008 | |
| Firsov, Denis | Tallinn University of Technology | 2016 | |
| Veltri, Niccolò | Tallinn University of Technology | 2017 | |
| Maarand, Hendrik | Tallinn University of Technology | 2020 |
According to our current on-line database, Tarmo Uustalu has 4 students and 4 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 220731 for the advisor ID.