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. 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 Azqa Nadeem

Unsupervised Machine Learning, Sequential Behavioral Modelling, Network Traffic Analysis, Cyber Data Analytics

Personal profile