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).[1][2] At TalTech he heads the High-assurance Software Laboratory.[3] Uustalu has been a member of the Estonian Academy of Sciences since 2010.[1]
Uustalu received the Estonian National Research Award in 2015 for a research series on mathematical structures in functional programming.[4][5] In 2019 he was awarded the Order of the White Star, III class.[6]
Education
According to the Estonian Academy of Sciences, Uustalu graduated from Tallinn Secondary School No. 44 in 1987 and the Georg Ots Music School in 1988. He earned an MSc from Tallinn University of Technology in 1992 and completed a licentiate (1995) and PhD (1998) in computer science at KTH Royal Institute of Technology in Stockholm.[1]
His doctoral dissertation, Natural deduction for intuitionistic least and greatest fixedpoint logics: with an application to program construction, was published in 1998.[7]
Career
Uustalu has held research and teaching positions in Estonia and Iceland. The Estonian Academy of Sciences lists him as a lead research scientist at Tallinn University of Technology (since 2017) and a professor at Reykjavík University (since 2017).[1] Reykjavík University’s course directory also lists him as a professor in its Department of Computer Science.[2]
At TalTech, he leads the High-assurance Software Laboratory within the Department of Software Science.[3]
Research
Uustalu’s work is in theoretical computer science and formal methods. In a profile about researchers receiving state decorations, ERR Novaator described his research as foundational work aimed at improving the reliability and security of software.[8]
Honours and awards
- Estonian National Research Award (exact sciences), 2015.[4][5]
- Order of the White Star, III class, 2019.[6]
Selected publications
- Uustalu, Tarmo; Vene, Varmo (2002). "Least and greatest fixed points in intuitionistic natural deduction". Theoretical Computer Science. 272 (1–2): 315–339. doi:10.1016/S0304-3975(00)00355-8.
References
- ^ a b c d "Tarmo Uustalu". Estonian Academy of Sciences. Retrieved 15 January 2026.
- ^ a b "Tarmo Uustalu, Professor (School of Technology / Department of Computer Science)". Reykjavík University (Kennsluskrá). Retrieved 15 January 2026.
- ^ a b "Research groups – High-assurance Software Laboratory". TallTech Department of Software Science. Retrieved 15 January 2026.
- ^ a b "Riigi teaduspreemiate määramine". Riigi Teataja (in Estonian). Vabariigi Valitsus. 12 February 2015. Retrieved 15 January 2026.
- ^ a b "Riiklikud preemiad pikaajalise teadus- ja arendustöö eest pälvisid Englbrecht ja Raukas". ERR Novaator (in Estonian). 13 February 2015. Retrieved 15 January 2026.
- ^ a b "Presidendilt saab teenetemärgi 112 inimest". ERR (in Estonian). 29 January 2019. Retrieved 15 January 2026.
- ^ Uustalu, Tarmo (1998). Natural deduction for intuitionistic least and greatest fixedpoint logics: with an application to program construction (Doctoral thesis). KTH Royal Institute of Technology (DiVA Portal record). Retrieved 15 January 2026.
- ^ Himma, Marju (29 January 2019). "Mida uurivad teadlased, kes saavad tänavu presidendilt teenetemärgi?". ERR Novaator (in Estonian). Retrieved 15 January 2026.