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, as well as designing, testing, and debugging, with the goal of improving software quality across a variety of domains, including FinTech, energy and industry 4.0.

Trustworthy AI
for Predictive
Maintenance and
Waste Reduction

Read the Article

Researchers & Partners

The group conducts both applied research in partnership with world-class companies, as well as classical theoretical research. Top postdoctoral researchers will have the chance to work in a leading group of experts in security design and validation, as well as to supervise doctoral candidates if they wish to. Doctoral candidates with formal backgrounds and an interest in translating and validating ideas in real-world scenarios will find a supportive environment to acquire the skills they need in both industry and academia, and the flexibility to switch between the two.

Prospective partners interested in enhancing their R&D focus on specific problems in software engineering with long-term perspectives will find world-class expertise in modelling and designing for software security, as well as validation of functional and security mechanisms for systems and software. SerVal also offers extensive expertise in data science, data analysis, forecasting, and decision making. Domains of application include Ambient Assisted Living using sensor networks, information systems, distributed systems, web applications, SOA and mobile apps.

Research projects