High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo 1969
Spahn, Stephan Alexander 1984
tarkvarateaduse instituut
järeldoktor-teadur
2020-2022