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 Cybersecurity, including social engineering tactics, poses a significant threat to Switzerland.
CaSSIS-Verif - Towards Verified Flight Software for Future Mars Missions Duration: 2023 Funding: University of Bern Partner: Prof.
Foundations of Workflows for Large-Scale Scientific Data Analysis B3: Debugging Distributed Data Analysis Workflows Duration: 2020 - 2024 Funding: DFG Partner: Prof.
Turning software merge conflicts into conflict-induced variability Duration: 2023 - 2027 Funding: Swiss National Science Foundation (SNSF) Merging is an essential operation in software version control that reconciles concurrent changes to multiple working copies of a shared development artifact.
Runtime Verification for Space Software Architectures Duration: 2024 - 2025 Funding: Swiss National Science Foundation (SNSF) Recent technological advances have led to powerful and cost-effective on-board computers running software built with open frameworks targeting small-scale missions such as CubeSats and Unmanned Aerial Vehicles.
Automating the Synchronization of Software Variants Duration: 2019 - 2023 Funding: DFG Partner: Prof.
