Running

Research

• AERIALIST | Research

  A Hasler Foundation funded project on testing Unmanned Aerial Vehicles (UAVs).

• CaSSIS-CheckTC | Research

  A UniBE funded project on space software verification.

• InnoGuard | Research

  A Horizon funded project on Autonomous Cyber-Physical Systems (ACPS) quality assessment.

• Merge++ | Research

  A SNSF funded project of software version control and conflict resolution.

• RUNVERSPACE | Research

  A SNSF funded project on runtime verification in space software.

• SwarmOps | Research

  A SNSF funded project on AI-enabled Cyber-Physical Systems (AI-CPSs) .

• Swiss-African Cybersecurity Community | Research

  A Movetia funded project to foster knowledge building between Swiss and African universities.

• VariantSync II | Research

  A DFG funded project on software product lines.