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

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                                   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. Stjepan Picek

Cryptography, cybersecurity, evolutionary computation and machine learning

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