Kevin van der Pol

kvdpol at
Room 4210
Ahornstraße 55
D-52074 Aachen
+49 241 80 21212 (e-mail preferred!)

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

  • Compositional model checking for quantitative and qualitative properties
  • Formal methods for digital security
  • Formal semantics of high level languages
  • Symbolic methods for the analysis of systems


Supervision of Theses

  • Rim Jnidi: Modelling and Analysing Security Properties of a Multi-Level File System, Master Thesis, RWTH Aachen University, 2014 (co-supervisor: Thomas Noll, Lehrstuhl für Informatik 2)

Courses and Seminars