EMBEr
Exploring Moment-Based Equivalence for probabilistic programs
Total Funding for TU Wien: €214,345
TrustCPS Share: €214,345
TrustCPS Share: €214,345
Role: Mentor, PI: Francesca Randone
Start: 2025-09-01 | End: 2027-08-31
ROBUSTIFAI
Robustifying Generative AI through human-centric integration of neural and symbolic methods
Total Funding for TU Wien: €509,853
TrustCPS Share: €509,853
TrustCPS Share: €509,853
Role: Task Leader, Project Leader for TU Wien
Start: 2025-06-01 | End: 2028-05-31
DK - AR
Structured Doctoral Program on Automated Reasoning
Total Funding for TU Wien: €2,489,593
TrustCPS Share: €475,952
TrustCPS Share: €475,952
Role: co-PI, Doctoral Advisor
Start: 2025-03-01 | End: 2029-09-30
AIMS5.0
Artificial Intelligence in Manufacturing leading to Sustainability and Industry5.0
Total Funding for TU Wien: €50,000
TrustCPS Share: €50,000
TrustCPS Share: €50,000
Role: Subcontractor,
Start: 2024-10-01 | End: 2025-09-30
VASSAL
Verification and Analysis for Safety and Security of Applications in Life
Total Funding for TU Wien: €318,650
Role: co-PI, Leader of Model-based Design, Analysis and Synthesis Research
Start: 2024-06-01 | End: 2027-05-31
CORPORA
MSCA PF project that will create a new verification framework for recursive probabilistic programs
Total Funding for TU Wien: €183,601
TrustCPS Share: €183,601
TrustCPS Share: €183,601
Role: Mentor, PI: Michele Chiari
Start: 2023-09-01 | End: 2025-08-31
TrustACPS
Doctoral College on Trustworthy Autonomous Cyber-Physical Systems
Total Funding for TU Wien: €824,942
TrustCPS Share: €550,942
TrustCPS Share: €550,942
Role: PI, Chair of Doctoral College on Trustworthy Autonomous Cyber-Physical Systems
Start: 2023-08-16 | End: 2028-08-15
TAIGER
Training and Guiding AI Agents with Ethical Rules
Total Funding for TU Wien: €799,570
TrustCPS Share: €243,312
TrustCPS Share: €243,312
Role: co-PI,
Start: 2023-05-01 | End: 2027-04-03
LogiCS@TUWien
LogiCS@TUWien is an EC H2020 Marie Skłodowska-Curie COFUND doctoral training programme focusing on Logical methods in Computer Science
Total Funding for TU Wien: €2,169,600
Total inKind: €2,169,600
TrustCPS Share: €216,960
Total inKind: €2,169,600
TrustCPS Share: €216,960
Role: co-PI, Vice-chair for the Program Admission
Start: 2022-06-01 | End: 2027-05-31
ProbInG
Distribution Recovery for Invariant Generation of Probabilistic Programs
Total Funding for TU Wien: €782,100
TrustCPS Share: €297,275
TrustCPS Share: €297,275
Role: PI, Scientific Coordinator
Start: 2020-05-01 | End: 2025-05-01
SecInt
Secure and Intelligent Human-Centric Digital Technologies
TrustCPS Share: €180,000
Role: co-PI, Doctoral Advisor
Start: 2020-02-01 | End: 2024-01-31
ZK 35-G
High-dimensional statistical learning: New methods to advance economic and sustainability policies
Total Funding for TU Wien: €297,423
TrustCPS Share: €297,423
TrustCPS Share: €297,423
Role: Substitute, Original co-PI: Laura Nenzi, 1st Substitute: Stefan Schupp
Start: 2019-08-01 | End: 2024-07-31
LogiCS
Logical Methods in Computer Science
TrustCPS Share: €180,000
Role: co-PI, Doctoral Advisor
Start: 2019-03-01 | End: 2023-02-28
DC-RES
Total Funding for TU Wien: €3,500,000
TrustCPS Share: €350,000
TrustCPS Share: €350,000
Role: co-PI, Doctoral Advisor, DC-RES Board Member
Start: 2018-10-01 | End: 2024-12-01
IoT4CPS
Trustworthy IoT for CPS
Total Funding for TU Wien: €173,528
Total inKind: €47,415
TrustCPS Share: €86,764
Total inKind: €47,415
TrustCPS Share: €86,764
Role: co-PI,
Start: 2017-12-01 | End: 2020-12-31
SHiNE
Systematic Methods in Systems Engineering
Total Funding for TU Wien: €2,135,968
TrustCPS Share: €276,150
TrustCPS Share: €276,150
Role: co-PI, co-PI of Ulrich Schmid, Task Leader (1 Postdoc for four years under my supervision)
Start: 2015-03-01 | End: 2019-02-28