Research Projects

FONDA - Foundations of Workflows for Large-Scale Scientific Data Analysis

Duration: 2020 - 2024 Funding: DFG Project partner: Prof. Volker Markl (Technical University of Berlin) Detailed Description...

---

VariantSync - Automating the Synchronization of Software Variants

Duration: 2019 - 2023 Funding: DFG Project partner: Prof. Thomas Thüm (University of Ulm) Detailed Description...

---

CaSSIS-Verif - Towards Verified Flight Software for Future Mars Missions

Duration: 2023 Funding: University of Bern Project partner: Prof. Nicolas Thomas (University of Bern) Detailed Description...