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

High-assurance software lab (logic and semantics subgroup)

Results

Management

Tarmo Uustalu
Latest update 2 May 2021