Nils Jansen
Radboud University Nijmegen, The Netherlands

Adresse

 

Assistenzprofessor am  Department of Software Science (SWS)Radboud University Nijmegen , Niederlande.

Seine Forschungsschwerpunkte sind:

  • Formal verification
  • Analysis and synthesis of stochastic systems
  • Probabilistic programs
  • Formal methods and control theory
  • Formal methods for robotics and machine learning