IT Academy research measure, software trustworthiness theme

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

This was one of the total of seven 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 was overseen by HarNo. TUT was in charge of three of the seven themes:

The measure was funded by

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


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

High-assurance software lab (logic and semantics group) - only a part of the lab was involved in the project and only until Dec. 2022



Tarmo Uustalu
Latest update 25 August 2023