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:
- software trustworthiness
- internet of intelligent things
- security and reliability of hardware and systems
The measure is funded by
- the Estonian state, Jan. 2018-Dec. 2022;
TUT's share is 1634
kEUR
- the European Social Fund, project no. 2014-2020.4.05.19-0001,
Jan. 2019-31 Aug. 2023;
TUT's share is 6423 kEUR
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
- Paweł Sobociński
(full professor, from Sept. 2019)
- Amar Hadzihasanovic (postdoc, from Oct. 2020)
- Fosco Loregian (postdoc, from Jan. 2020)
- Edward Morehouse (postdoc, from Nov. 2019)
- Elena Di Lavore (PhD student, supervised by Paweł Sobociński and Jules Hedges, from Nov. 2019)
- Matthew Earnshaw (PhD student, supervised by Paweł Sobociński, from Nov. 2020)
- Nathan Haydon (PhD student, supervised by Paweł Sobociński and Jean Krivine, from Nov. 2019)
- Diana-Maria Kessler (PhD student, supervised by Paweł Sobociński and Amar Hadzihasanovic, from Nov. 2020)
- Chad Nester (PhD student, supervised by Paweł Sobociński and Filippo Bonchi, from Nov. 2019)
- Mario Román (PhD student, supervised by Paweł Sobociński, from Nov. 2019)
- Elina Shakhnovich (research intern, Feb.-Oct. 2022)
High-assurance software lab (logic
and semantics group) - only a part of the lab is 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)
- Philipp Joram (PhD student, supervised by Niccolò Veltri, Nov.-Dec. 2022)
- Andrea Laretto (PhD student, supervised by Niccolò Veltri and Fosco Loregian, Nov.-Dec. 2022)
- Exequiel Rivas (researcher, Nov.-Dec. 2022)
- 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)
Results
Management
Tarmo Uustalu
Latest update 21 January 2023