IT Academy research measure, software trustworthiness theme


Europe needs strong software research! Check the manifesto and support by signing!


This is one of the total of six themes in IT Academy's measure to support ICT research at Tallinn UT and U. of Tartu. It was originally overseen by HITSA; from Aug. 2020, it is overseen by HarNo. TUT is in charge of three of the six themes:

The measure is funded by

This theme's funding should amount to approx. ~1/3 of TUT's share.

People

Compositional systems and methods ("TallCat") group - all of the lab is involved in the project

High-assurance software lab (logic and semantics group) - only a part of the lab is involved in the project

Results

Management

Tarmo Uustalu
Latest update 1 October 2021