A Hasler Foundation funded project on testing Unmanned Aerial Vehicles (UAVs).
A UniBE funded project on space software verification.
A Horizon funded project on Autonomous Cyber-Physical Systems (ACPS) quality assessment.
A SNSF funded project of software version control and conflict resolution.
A DFG funded project of software version control and conflict resolution.
A SNSF funded project on runtime verification in space software.
A Hasler Foundation funded project on advancing UAV Reliability and societal trust through Integrated Testing and Formal Verification.
A SNSF funded project on AI-enabled Cyber-Physical Systems (AI-CPSs).
A Movetia funded project to foster knowledge building between Swiss and African universities.
A Hasler Foundation funded project on studying the feasibility of AI-Empowered virtual reality for professional soft skills training in pediatric care.
A DFG funded project on software product lines.