Yesterday marked an exciting start to our AI Lecture Series at RUB! This series aims to showcase cutting-edge topics in AI, foster dialogue, and build connections between RUB researchers and the wider academic community. Organized by Simon Heilig and Joshua Wendland, representing the labs of AI and Society (Prof. Bilal

Another great AI-FM workshop comes to an end. We had several days of great talks, discussions, focused working groups, and a lot of fun! The topics covered in this workshop included: Uncertainty-Aware Perception (in RL), Missingness, Adversarial POMDPs, Causality-based Feature Reduction, Active Measure MDPs, and much more. These workshops have

On 23.10.2024 from 2 pm Prof. Dr. Nils Jansen will give his inaugural lecture in the Open Space of the MC building. We cordially invite all interested parties to attend. For more information and registration see here.   Abstract: Artificial Intelligence (AI) has emerged as a disruptive force in our

Nils Jansen moves from Radboud University Nijmegen to Ruhr-Universität Bochum. From November 2023, he will head the Chair of Artificial Intelligence and Formal Methods there. His work will focus on making artificial intelligence systems safer and more reliable. A central aspect of his research project DEUCE: Data-driven Learning and Verification