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.
Publications
Scientific Staff
Prof.dr. Arie van Deursen
Software testing, Software architectures, Software eco-system
Dr. Robbert Krebbers
verification, semantics of programming languages, proof assistants (Coq)
Dr. Annibale Panichella
Search-based software engineering, Test automation, Security testing
Dr. Stjepan Picek
Cryptography, cybersecurity, evolutionary computation and machine learning
Dr.ir. Sicco Verwer
State Machine Learning, Automated Reverse-Engineering, Cyber Security, Algorithms, and Combinatorial Optimization
Postdocs
PhDs
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
MSc Clinton Cao
State Machine Learning, Network Traffic Analysis, Software Log Analysis
<link staff>
| Personal profile |
