Projects


Brief description of the (type) projects performed in the group

Selected Projects

REIDENTAssessment of Reidentification Risks with Bayesian Probabilistic Programing (Villum Foundation)
INSIGHTProgram Repair with Static Insights (DFF)
ROSINROS-Industrial Quality Assured Robot Software Components(H2020)
VARIETEVariability in Portfolios of Dependable Systems (completed)
VARIESVariability in Safety Critical Embedded Systems (completed)
MT-LABModeling of Information Technology (completed)