Activities
A (non-exhaustive) overview of my professional activities.
Presentations at Conferences
Workshop Presentations
- 2023: FMAS, BNAIC, Lorentz Center: Predictive Maintenance - Let Data Maintain the Model
- 2022: NeurIPS Robot Learning, AAAI Fall Symposium on AI for Predictive Maintenance, VeriProp (at CAV 2022), Lorentz Center: Rigorous Automated Planning, ROCKS Workshop
- 2021: Robotics 4 People (at Robotics: Science and Systems), SNR, SEN Symposium
Talks at other Universities
Virtual: UT Austin (April 2023), University of Oxford (November 2021), KTH Stockholm (November 2021), TU Delft (March 2021)
In-person: TU Delft (March 2024), University of Oxford (May 2023), TU Eindhoven (April 2023), TU Delft (February 2023), Saarland University (November 2022), UT Austin (April 2022)
External Reviewer
Conference program committees: AAAI (2023), AAMAS (2023)
Conference reviewing: AAAI, NeurIPS, AAMAS, ICML, ICAPS, ICRA, L4DC, TACAS, QEST, ATVA, PHASE, Formal Methods (FM), ADHS, ECC
Journal reviewing (all IEEE): IEEE Transactions on Automatic Control (TAC), Journal of Artificial Intelligence Research (JAIR), IEEE Control Systems Letters (L-CSS), IEEE Transactions on Industrial Informatics (TII), IEEE Transactions on Control of Network Systems (TCNS)