Merge++
Turning software merge conflicts into conflict-induced variability
Duration: 2023 - 2027
Funding: SNSF
Projects
Our research projects.
VariantSync II
Automating the Synchronization of Software Variants
SwarmOps
Human-sensing based MLOps for Collaborative Cyber-Physical Systems
Duration: 2025 - 2029
Funding: SNSF
InnoGuard
Hybrid and Generative Intelligence for Trustworthy Autonomous Cyber-Physical Systems
Duration: 2024 - 2027
Funding: Horizon - Marie Skłodowska-Curie Actions-funded Doctoral Networks
Partners:
Safe-2-Fly
Advancing UAV Reliability and Societal Trust Through Integrated Testing and Formal Verification
Duration: 2025 - 2026
Funding: Hasler Foundation
TRUST-VR
AI-Empowered Virtual Reality for Professional Soft Skills Training - A Feasibility Study in Pediatric Care
Duration: 2025 - 2026
Funding: Hasler Foundation
AERIALIST
Bridging the Reality Gap in Testing Unmanned Aerial Vehicles
Duration: 2024 - 2025
Funding: Hasler Foundation
Swiss-African Cybersecurity Community
A Focus on Education, Research and Knowledge Building
Duration: 2024 - 2026
Funding: Movetia
Partners:
- Africa Blockchain Institute, Rwanda
- FHNW University of Applied Sciences and Arts
- Ghana Communication Technology University, Ghana
- Haute Ecole Arc, Switzerland
- Hawassa University, Ethiopia
- ISACA Switzerland Chapter, Switzerland
- SwissLink Higher Institute of Business and Technology, Cameroon
- Turacos, Switzerland
- University of Buea, Cameroon
- University of Ibadan, Nigeria
CaSSIS-CheckTC
Mission Telecommands Trace Checking
RUNVERSPACE
Runtime Verification for Space Software Architectures
Duration: 2024 - 2025
Funding: SNSF