Person

Dr.

Nils Jansen

Nils Jansen

Address

 

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