High-assurance software laboratory.Dependable IT solutions, Innovative businesses and future governance. Uustalu, Tarmo Kääramees, Markotarkvarateaduse instituut, direktorAt TalTech: 1998-