Tarmo Uustalu
| Tarmo Uustalu | |
|---|---|
| Born | January 19, 1969 Tallinn, then part of Estonian SSR, Soviet Union |
| 🏳️ Citizenship | Estonian |
| 💼 Occupation | |
| 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) |
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
- ↑ 1.0 1.1 1.2 1.3 "Tarmo Uustalu". Estonian Academy of Sciences. Retrieved 15 January 2026.
- ↑ 2.0 2.1 "Tarmo Uustalu, Professor (School of Technology / Department of Computer Science)". Reykjavík University (Kennsluskrá). Retrieved 15 January 2026.
- ↑ 3.0 3.1 "Research groups – High-assurance Software Laboratory". TallTech Department of Software Science. Retrieved 15 January 2026.
- ↑ 4.0 4.1 "Riigi teaduspreemiate määramine". Riigi Teataja (in eesti). Vabariigi Valitsus. 12 February 2015. Retrieved 15 January 2026.
- ↑ 5.0 5.1 "Riiklikud preemiad pikaajalise teadus- ja arendustöö eest pälvisid Englbrecht ja Raukas". ERR Novaator (in eesti). 13 February 2015. Retrieved 15 January 2026.
- ↑ 6.0 6.1 "Presidendilt saab teenetemärgi 112 inimest". ERR (in eesti). 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 eesti). Retrieved 15 January 2026.
External links
- Estonian Academy of Sciences profile
- TalTech research groups (includes High-assurance Software Laboratory)
- DiVA record for PhD thesis
This article "Tarmo Uustalu" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Tarmo Uustalu. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
- CS1 eesti-language sources (et)
- 1969 births
- Scientists from Tallinn
- Estonian computer scientists
- Theoretical computer scientists
- Programming language researchers
- Tallinn University of Technology alumni
- Academic staff of the Tallinn University of Technology
- Academic staff of Reykjavík University
- Members of the Estonian Academy of Sciences
- Recipients of the Order of the White Star, 3rd Class
