Research

Publications

Compositional systems and methods group

2020

2021

2022

High-assurance software lab

2019

2020

2021

2022

Patents

Additional competitive funding won

Research seminars

Seminars/reading groups

Internal meetings of the groups

Research visits

Organization of symposia at TUT

PC work

Editorial work

Research-related distinctions

Tarmo Uustalu
Latest update 20 May 2022