Person
Dr.Nils Jansen
Radboud University Nijmegen, The Netherlands
Adresse
E-Mail:
n.jansen@science.ru.nl
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