High-assurance software laboratory. Dependable IT solutions, Innovative businesses and future governance. Uustalu, Tarmo 1969 Valla, Elli 1987tarkvarateaduse instituutdoktorant-nooremteadur2011-2013, 2020-