academic service
My professional and academic service activities.
Program Committees
2026
2025
2024
2023
2020
Editorial Boards
- Associate Editor, Journal of Artificial Intelligence Research (JAIR).
- Co-Editor-in-Chief (with Bernhard Steffen), Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn) thematic theme, International Journal on Software Tools for Technology Transfer (STTT).
Academic Distinctions
- 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.
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)
Event Organization
- Dagstuhl Seminar 24361: Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy
- Dagstuhl Seminar 23492: Model Learning for Improved Trustworthiness in Autonomous Systems
- Lorentz Center Workshop: Predictive Maintenance: Let Data Maintain the Model
- 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 VERification (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.