Verification and Validation

Almost every IT system that we use is complex. Nobody really understands in detail how it works. And every system contains many mistakes. Every single mistake looks like a wide open door to an attacker trying to hack into the system. Humans cannot deal with this complexity, so we are working on automated tools that can.  


Scientific Staff

Prof.dr. Arie van Deursen

Software testing, Software architectures, Software eco-system

Personal profile                                          

Dr. Sebastian Erdweg

Static and dynamic program analysis, incremental algorithms

Personal profile                                          

Dr. Robbert Krebbers

verification, semantics of programming languages, proof assistants (Coq)

Personal profile                                          

Dr. Annibale Panichella

Search-based software engineering, Test automation, Security testing

Personal profile                                          

Dr. Stjepan Picek

Cryptography, cybersecurity, evolutionary computation and machine learning

Personal profile                                   Sicco Verwer

State Machine Learning, Automated Reverse-Engineering, Cyber Security, Algorithms, and Combinatorial Optimization

Personal profile                                          

Prof.dr. Eelco Visser

Language based security

Personal profile                                          


Dr. Laurens Bliek

Machine learning, optimisation, surrogate modelling

Personal profile                                          

Dr. Christian Hammerschmidt

Machine Learning, in particular for unsupervised settings with imbalanced data, Automata Learning, Reverse Engineering and Software Analytics

Personal profile                                          


MSc Qin Lin

State Machine Learning, Time Series Analysis, Signal Processing

Personal profile                                          

MSc Nino Pellegrino

State Machine Learning, Network Traffic Analysis

Personal profile                                          

MSc Azqa Nadeem

Cyber Data Analytics, Cyber Crime Science, Threat Intelligence

Personal profile