Research Group Security, Reasoning and Validation (SerVal)

Secure and Reliable Software Engineering and Decision-Making

SerVal conducts research in security and reliability in software engineering, with a particular focus on AI, data science and decision-making.

Our Research

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.

SerVal in Numbers

  • 35
  • 6
    Industry Partners

Head of Research Group

Le Traon
Prof. Yves Le Traon

Vice Director of SnT, Full Professor of Computer Science