Assistant Professor at the Department of Software Science (SWS), Radboud University Nijmegen , Niederlande.
His area of specialization
- Formal verification
- Analysis and synthesis of stochastic systems
- Probabilistic programs
- Formal methods and control theory
- Formal methods for robotics and machine learning