Welcome to the Chair of Artificial Intelligence and Formal Methods. We conduct broad foundational and application-driven research in artificial intelligence, in particular neurosymbolic AI, which we combine with the area of formal methods. We tackle problems that are inspired by autonomous systems, industrial projects, and in particular planning problems in robotics.
News
6th AI-FM Workshop
We had our 6th AI-FM workshop, bringing together the Postdocs, PhD- and research students of Prof. Nils Jansen from both RUB and Radboud University in Nijmegen, as well as many great guests: Prof. Milan Ceska with his students Filip Macák and David Hudák (Brno University of Technology), Prof. Clemens Dubslaff
Posters at the EWRL 2025 — All Good Things Come in Threes
This September, two members of our lab participated in the European Workshop on Reinforcement Learning (EWRL), one of the leading international gatherings for the RL community. The 2025 edition, hosted at the University of Tübingen in Germany, brought together researchers from around the world to share cutting-edge work and discuss
AI Lecture Series meets CASA Distinguished Lectures
We were very pleased to welcome Prof. Joost-Pieter Katoen (RWTH Aachen University) for a joint lecture in the AI Lecture Series and the CASA Distinguished Lectures. His talk, When Programming Meets Probability Theory, attracted a strong audience and sparked lively discussion. Prof. Katoen is a Distinguished Professor of Computer Science
5th AI-FM Workshop
The AI-FM workshop is growing. The 5th edition took place from July 9 to 11, bringing together both familiar faces and new guests for three days of great discussions. We were pleased to be joined by outstanding guests like Thom Badings, Milan Ceska, Clemens Dubslaff, Tabea Frisch, Linus Heck, Sebastian
Summer School Attendance at ESSAI 2025
Our PhD students Eline, Miriam, and Jule had the opportunity to attend the 3rd European Summer School on Artificial Intelligence (ESSAI) in Bratislava, Slovakia. The program brought together researchers and (doctoral) students from across Europe to explore new fields and deepen their knowledge in various fields and cutting-edge research in
Artifical Intelligence and Formal Methods
Faculty of Computer Science
Ruhr-Universität Bochum
Universitätsstraße 140
D-44801 Bochum
Secretary’s Office
Verena Schramm
Building MC 4.147
Office hours:
Mo: 9am-4pm
Tue: 9am-2pm
or by arrangement
phone: +49 234 32-15270
e-mail: aifm@rub.de
