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                                          



Dr. Nino Pellegrino

State Machine Learning, Network Traffic Analysis

<link staff g.pellegrino _blank>Personal profile                                          

MSc Azqa Nadeem

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

Personal profile                                          

MSc Clinton Cao

State Machine Learning, Network Traffic Analysis, Software Log Analysis

<link staff>

  Personal profile                                          

MSc Jing Xu

Graph neural networks, Adversarial attacks, Security of AI

Personal profile