Tarmo Uustalu
Tarmo Uustalu | |
|---|---|
| Born | January 19, 1969 |
| Citizenship | Estonian |
| Known for | Programming language semantics; proof and type theory; program logics; high-assurance software |
| Awards | Estonian National Research Award (2015) Order of the White Star (III class, 2019) |
| Academic background | |
| Alma mater | Tallinn University of Technology (MSc) KTH Royal Institute of Technology (Licentiate; PhD) |
| Thesis | Natural deduction for intuitionistic least and greatest fixedpoint logics: with an application to program construction (1998) |
| Academic work | |
| Discipline | Computer science |
| Institutions | Tallinn University of Technology Reykjavík University |
Tarmo Uustalu (born 19 January 1969) is an Estonian computer scientist. He is a professor in the School of Computer Science at Reykjavík University and a lead research scientist at the Tallinn University of Technology (TalTech). At TalTech he heads the High-assurance Software Laboratory. Uustalu has been a member of the Estonian Academy of Sciences since 2010.
Uustalu received the Estonian National Research Award in 2015 for a research series on mathematical structures in functional programming. In 2019 he was awarded the Order of the White Star, III class.