Nils Jansen.
AI safety, trustworthy autonomous systems, and formal verification for machine learning.
Mission: making AI trustworthy by design.
I am Full Professor and head of the Chair of Artificial Intelligence and Formal Methods at Ruhr University Bochum, and Professor of Safe and Dependable AI at Radboud University Nijmegen. I am also a Principal Investigator in the Cluster of Excellence CASA. My groups combine machine learning with formal methods to build AI that is safe, robust and dependable.
Research themes
- Safe reinforcement learning
- Decision-making under uncertainty (MDPs, POMDPs, robust models)
- Formal verification of learning-based systems
- Neurosymbolic AI
- Autonomous systems and robotics
More on my groups’ website and the chair’s page at RUB.