nLab
Tarmo Uustalu

Tarmo Uustalu is a professor at the Dept. of Computer Science of Reykjavik University. He also has part-time post in the Dept. of Software Science of the Tallinn University of Technology (TUT) as a lead research scientist, taking care of the Lab for High-Assurance Software, in particular the Logic and Semantics Group.

category: people

Last revised on July 1, 2021 at 20:18:56. See the history of this page for a list of all contributions to it.