Biography:Tarmo Uustalu

From HandWiki
Short description: Estonian computer scientist and academic


Tarmo Uustalu
Born (1969-01-19) January 19, 1969 (age 57)
Tallinn, Estonian SSR, Soviet Union
CitizenshipEstonian
Known forProgramming language semantics; proof and type theory; program logics; high-assurance software
AwardsEstonian National Research Award (2015)
Order of the White Star (III class, 2019)
Academic background
Alma materTallinn University of Technology (MSc)
KTH Royal Institute of Technology (Licentiate; PhD)
ThesisNatural deduction for intuitionistic least and greatest fixedpoint logics: with an application to program construction (1998)
Academic work
DisciplineComputer science
InstitutionsTallinn 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

  1. ↑ 1.0 1.1 1.2 1.3 "Tarmo Uustalu". https://www.akadeemia.ee/en/member/uustalu/. 
  2. ↑ 2.0 2.1 "Tarmo Uustalu, Professor (School of Technology / Department of Computer Science)". https://kennsluskra.ru.is/default.aspx?Alph=&Dept=0&ID=tarmo&Lang=1&Page=Emp&Pos=&View=0. 
  3. ↑ 3.0 3.1 "Research groups – High-assurance Software Laboratory". https://taltech.ee/en/department-of-software-science/research-groups. 
  4. ↑ 4.0 4.1 "Riigi teaduspreemiate määramine" (in et). Vabariigi Valitsus. 12 February 2015. https://www.riigiteataja.ee/akt/317022015004. 
  5. ↑ 5.0 5.1 "Riiklikud preemiad pikaajalise teadus- ja arendustöö eest pälvisid Englbrecht ja Raukas" (in et). 13 February 2015. https://novaator.err.ee/256415/riiklikud-preemiad-pikaajalise-teadus-ja-arendustoo-eest-palvisid-englbrecht-ja-raukas. 
  6. ↑ 6.0 6.1 "Presidendilt saab teenetemärgi 112 inimest" (in et). 29 January 2019. https://www.err.ee/904768/presidendilt-saab-teenetemargi-112-inimest. 
  7. ↑ 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.
  8. ↑ Himma, Marju (29 January 2019). "Mida uurivad teadlased, kes saavad tänavu presidendilt teenetemärgi?" (in et). https://novaator.err.ee/904795/mida-uurivad-teadlased-kes-saavad-tanavu-presidendilt-teenetemargi. 



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Tarmo_Uustalu&oldid=4224978"