academic service | Nils Jansen.

2024: Elected Fellow of ELLIS (European Laboratory for Learning and Intelligent Systems).
2022: ERC Starting Grant, DEUCE: Data-Driven Verification and Learning Under Uncertainty.
2022: AAAI Distinguished Paper Award, Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
2022: ICAART Best Student Paper Award (with Master student D. Kerkkamp), Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks.
2015: Borchers Badge of RWTH Aachen University for the PhD examination with distinction, awarded to the top 10% of PhD students.

Awards of my PhD students

2026: Thom Badings: ETAPS Doctoral Dissertation Award, IPA Dissertation Award and KHMW Kees Schouhamer Immink Proefschriftprijs, for his thesis Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty (PhD cum laude, 2025).
2025: Thom Badings: Honorable Mention, AAAI/ACM SIGAI Doctoral Dissertation Award.
2023: Eline Bovy: BNAIC/BeNeLearn Best Thesis Award; she also holds a Christine Mohrmann Stipend for promising female PhD students at Radboud University.

Selected Talks

2026: Keynote8th International Workshop on Formal Methods for Autonomous Systems (FMAS 2026), upcoming.
2026: KeynoteIPA Fall Days 2026, upcoming.
2026: AI Colloquium, Lamarr Institute and RC Trust, TU Dortmund, Safe Learning Systems: Artificial Intelligence and Formal Methods.
2025: KeynoteInternational Conference on Runtime Verification (RV 2025), Neurosymbolic Learning Systems: Artificial Intelligence and Formal Methods.
2025: KeynoteInternational Conference on Rigorous State-Based Methods (ABZ 2025), Neurosymbolic Learning Systems: Artificial Intelligence and Formal Methods.
2025: KeynoteResearch Training Group UnRAVeL, RWTH Aachen University, Neurosymbolic Learning Systems: Artificial Intelligence and Formal Methods.
2025: Technion – Israel Institute of Technology, Neurosymbolic Learning Systems: Artificial Intelligence and Formal Methods (video).
2025: NVIDIA, Neurosymbolic Intelligent (Reinforcement) Learning Systems.
2025: IT University of Copenhagen, Reliability and Safety in Artificial Intelligence.
2024: Center for Autonomy Seminar, Oden Institute, UT Austin, Artificial Intelligence Planning: Uncertainty Is Inevitable.
2024: Bosch Center for Artificial Intelligence, Renningen, Artificial Intelligence Planning: Uncertainty Is Inevitable.
2024: Tutorial, MOVEP 2024 summer school, Decision-Making Under Uncertainty Meets Neurosymbolic AI.
2024: Neuro-Symbolic AI Summer School, Centaur AI Institute (online), A Neurosymbolic Meetup of AI and Formal Methods.
2023: Keynote25th International Symposium on Formal Methods (FM 2023), Intelligent and Dependable Decision-Making Under Uncertainty.
2023: Keynote12th Workshop on Synthesis (SYNT 2023), co-located with CAV, Intelligent and Dependable Decision-Making Under Uncertainty.
2023: KeynoteWorkshop on Verifiable and Robust AI (VRAI), Denmark, Uncertainty Is Inevitable.
2023: Department of Computer Science, University of Oxford, Dependable Decision-Making Under Uncertainty: Beyond Probabilities.
2023: Digital Futures, KTH Royal Institute of Technology, Neuro-Symbolic Artificial Intelligence: Intelligent Decisions Under Uncertainty (video).
2023: WOLVERINE workshop, co-located with CAV, Safe Reinforcement Learning.
2022: 1st Workshop on Safe Reinforcement Learning, co-located with IJCAI, Safe RL: A Collection of Flavors.
2022: RL-CONFORM workshop, co-located with IROS, Safe Reinforcement Learning under Partial Observability.

Institutional Responsibilities

Since 2026: Member of the Faculty Council (Fakultätsrat) of the Faculty of Computer Science, Ruhr University Bochum.
Current: Coordinator of school outreach and member of the advisory council (Beraterkreis) and the Academic Advisory Board (Studienbeirat) of the Faculty of Computer Science, Ruhr University Bochum.
2023: Vice head of the Department of Software Science, Radboud University.

Media

2024: MIT Technology Review: Mathematik | KI braucht dringend Nachhilfe (Eike Kühl).
2023: I/O Magazine: How can AI better handle uncertainties in the real world? (Bennie Mols).
2023: TechGelderland: Using data to make the world safer (Joep Peters).
2022: AIhub: Developing safe controllers for autonomous systems under uncertainty (Thom Badings and Nils Jansen).
2021: Communications of the ACM: Approach to AI Offers More Certainty in the Face of Uncertainty.
2021: Innovation Origins, Computable, Bits&Chips and Executive-People on our approach to reducing uncertainty in AI decision-making.

PhD Committee Member and Referee

Clarissa Costen (University of Oxford)
Stefanie Mohr (TU Munich)
Maximilian Schlüter (TU Dortmund)
Alnis Murtovi (TU Dortmund)
Jakob Haahr Taankvist (Aalborg University)
Mohsen Gaffari (IT University of Copenhagen)
Florent Delgrange (Vrije Universiteit Brussel and University of Antwerp)
Théo Matricon (University of Bordeaux)
Raphaël Reynouard (Reykjavik University)
Kush Grover (TU Munich)
Qisong Yang (TU Delft)
Zhuofan Xu (ENS Paris-Saclay)
Steven Carr (UT Austin)
Simon Jantsch (TU Dresden)
Ivan Gavran (MPI-SWS)
Leonore Winterer (University of Freiburg)
Alexis Linard (Radboud University)
Rick Smetsers (Radboud University)
Konstantin Kueffner (IST Austria)
Pascal van der Vaart (TU Delft)
Daniel Scholz (TU Dresden)
Xiatong Cheng (Ruhr University Bochum)

Event Organization

Dagstuhl Seminar 24361: Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (2024)
AISoLA 2023, Track C2 Chair (2023)
Dagstuhl Seminar 23492: Model Learning for Improved Trustworthiness in Autonomous Systems (2023)
Lorentz Center Workshop: Predictive Maintenance: Let Data Maintain the Model (2023)
Lorentz Center Workshop: Rigorous Automated Planning (2022)
SEN (National Symposium for Dutch researchers in Software Engineering), at CWI (2021)
Flavors of UNCerTainty in Verification, Planning, and OpTimizatiON (FUNCTION 2021, at ICALP 2021)
Dagstuhl Seminar 18121: Machine Learning and Model Checking Join Forces (2018)
Robots, Morality, and Trust through the Verification Lens (ReMOTE 2018, at CAV 2018)
Formal Approaches to Explainable VERiﬁcation (FEVER 2017, at CAV 2017)

External Reviewer (incomplete list)

ACC, ACM Transactions on Computational Logic, ACM Transactions on Modeling and Computer Simulation, Acta Informatica, ATVA, CAV, CDC, CONCUR, FACS, FM, FMOODS–FORTE, FORMATS, FOSSACS, FSEN, FSTTCS, FTSCS, HSCC, IEEE Control Systems Letters, IFM, IJCAI, Petri Nets, QEST, SIMULTECH, Journal of Automated Reasoning, Journal of Systems and Software, International Journal of Robotics Research, TACAS, TASE, Theoretical Computer Science, IEEE Transactions of Reliability, IEEE Transactions on Automatic Control, and VMCAI.