 | REMARO | REMARO attacks one of the most pressing problems of modern computing, the safety of AI, in the well defined context of submarine robotics |
 | ISA | Immersive Software Archaeology (ISA) is a virtual reality software visualization project. Its goal is to foster the rediscovery of unfamiliar legacy Java software systems’ architecture and design |
 | DIREC | Verifiable and Safe AI for Autonomous Systems |
| REIDENT | Assessment of Reidentification Risks with Bayesian Probabilistic Programing (Villum Foundation) |
| INSIGHT | Program Repair with Static Insights (DFF) |
 | ROSIN | ROS-Industrial Quality Assured Robot Software Components(H2020) |
| VARIETE | Variability in Portfolios of Dependable Systems (completed) |
| VARIES | Variability in Safety Critical Embedded Systems (completed) |
| MT-LAB | Modeling of Information Technology (completed) |
