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