Nils Jansen.
Neurosymbolic AI: safe, trustworthy autonomous systems through formal verification and 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
- Neurosymbolic verification: formal guarantees for learning-based systems
- Safe reinforcement learning
- Decision-making under uncertainty (MDPs, POMDPs, robust models)
- Neurosymbolic AI
- Autonomous systems and robotics
More on my groups’ website and the chair’s page at RUB.