High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo 1969
Veltri, Niccolò 1988
tarkvarateaduse instituut
nooremprofessor
2012-2017, 2019-