Tarmo Uustalu
Tarmo Uustalu 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. 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.
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 and PhD in computer science at KTH Royal Institute of Technology in Stockholm.His doctoral dissertation, Natural deduction for intuitionistic least and greatest fixedpoint logics: with an application to program construction, was published in 1998.
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 and a professor at Reykjavík University. Reykjavík University’s course directory also lists him as a professor in its Department of Computer Science.At TalTech, he leads the High-assurance Software Laboratory within the Department of Software Science.
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.Honours and awards
- Estonian National Research Award, 2015.
- Order of the White Star, III class, 2019.