AI-FM
Trustworthy Artificial Intelligence through Formal Methods.
The AI-FM team in Bochum, 2026
AI-FM (Artificial Intelligence & Formal Methods) is a research group headed by Prof. Dr. Nils Jansen, with members at Ruhr University Bochum (RUB) and Radboud University Nijmegen.
Mission: making AI trustworthy by design.
Our vision of neurosymbolic AI brings together machine learning and formal methods, in particular formal verification. We conduct foundational and application-driven research, inspired by autonomous systems and planning problems in robotics. Our goals:
- Increase the dependability of AI in safety-critical environments.
- Render AI models robust against uncertain knowledge about their environment.
- Enhance formal verification with learning techniques to handle real-world problems.
Research themes
- Neurosymbolic verification: formal guarantees for learning-based systems
- Safe reinforcement learning
- Decision-making under uncertainty (MDPs, POMDPs, robust models)
- Dynamical systems and control learning with formal guarantees
- Autonomous systems and robotics
Students: looking for a thesis topic? See our open projects and the thesis topics at RUB. For courses at RUB, see the chair’s page.