A Hasler Foundation funded project on testing Unmanned Aerial Vehicles (UAVs).
A UniBE funded project on space software verification.
A DFG funded project on data analysis workflows.
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 Movetia funded project to foster knowledge building between Swiss and African universities.
A DFG funded project on software product lines.