Publications
World-class expertise in modelling and designing for software security
The SerVal group conducts research on designing, testing, and debugging, with the goal of improving software quality across a variety of domains, including FinTech, energy and industry 4.0. They focus both on fundamental as well as applied research topics, in partnership with public entities and world-class companies.