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:
- software trustworthiness
- internet of intelligent things
- security and reliability of hardware and systems
The measure was funded by
- the Estonian state, Jan. 2018-Dec. 2022;
TUT's share was 1634
kEUR
- the European Social Fund, project no. 2014-2020.4.05.19-0001,
Jan. 2019-31 Aug. 2023;
TUT's share was 6423 kEUR
This theme's funding should have amounted to approx. ~1/3 of TUT's
share.
People
Compositional systems and methods
("TallCat") group - all of the lab was involved in the project
- Paweł Sobociński
(full professor, Sept. 2019-Aug. 2023)
- Amar Hadzihasanovic (postdoc, Oct. 2020-Apr. 2023; assistant professor, May-Aug. 2023)
- Fosco Loregian (postdoc, Jan. 2020-Aug. 2023)
- Edward Morehouse (postdoc, Nov. 2019-Aug. 2023)
- Elena Di Lavore (PhD student, supervised by Paweł Sobociński, Nov. 2019-Aug. 2023)
- Matthew Earnshaw (PhD student, supervised by Paweł Sobociński, Nov. 2020-Aug. 2023)
- Nathan Haydon (PhD student, supervised by Paweł Sobociński and Ahti-Veikko Pietarinen, Nov. 2019-Aug. 2023)
- Diana Kessler (PhD student, supervised by Paweł Sobociński and Amar Hadzihasanovic, Nov. 2020-Aug. 2023)
- Chad Nester (PhD student, supervised by Paweł Sobociński, Nov. 2019-Aug. 2023)
- Mario Román (PhD student, supervised by Paweł Sobociński, Nov. 2019-Aug. 2023)
- Elina Shakhnovich (research intern, Feb.-Oct. 2022)
High-assurance software lab (logic
and semantics group) - only a part of the lab was involved in the project and only until Dec. 2022
- Maksym Bortin (researcher, March 2019-Oct. 2022)
- Denis Firsov (part-time researcher, Feb. 2019-Dec. 2022; main position
at Guardtime)
- Niccolò Veltri (researcher, May 2019-Dec. 2022)
- Niels Voorneveld (postdoc, Oct. 2019-Dec. 2022)
- Cheng-Syuan Wan (PhD student, supervised by Tarmo Uustalu and Niccolò Veltri, Apr. 2021-Dec. 2022)
- Philipp Joram (PhD student, supervised by Niccolò Veltri, only Nov.-Dec. 2022)
- Andrea Laretto (PhD student, supervised by Niccolò Veltri and Fosco Loregian, only Nov.-Dec. 2022)
- Exequiel Rivas (part-time researcher, only Nov.-Dec. 2022)
Results
Management
Tarmo Uustalu
Latest update 25 August 2023