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
    Staff
  • 6
    Industry Partners

SerVal Leadership

Prof. Mike PAPADAKIS

Associate Professor, Head of SerVal Research Group

Maxime Cordy
Prof. Maxime CORDY

Assistant Professor in Software Engineering for AI Systems, Deputy Head of SerVal Research Group