I am a faculty member at the Max Planck Institute for Software Systems in Kaiserslautern, Germany, leading the Control Software Systems Group which is additionally funded by the Emmy Noether Programme of the German Science Foundation (DFG). If you want to know what I’m working on, check out this very recent academic story explaining our research to a general audience or visit our group website.
News
- 5/24 — My former Post-Doc Ameneh Nejati has started a faculty position at Newcastle University, UK. Congratulations Amy!
- 4/24 — Mahdi Nazeri , the first ever Oxford-MaxPlanck PhD student, has joined the CSS group! He is co-supervised by myself and Sadegh Soudjani at MPI-SWS and by Alessandro Abate in Oxford.
- 3/24 — Our paper on “Localized Attractor Computations for Infinite-State Games” got accepted to CAV’24.
- 2/24 — Two papers accepted at HSCC’24 and one paper accepted at WODES’24 (see papers)!
- 1/24 — I’m honored to be invited to give a keynote talk at ATVA’24 in Kyoto, Japan!
- 12/24 — Our paper on “Most General Winning Secure Equilibria Synthesis in Graph Games” got accepted to TACAS’24.
- 10/23 — Our paper on “Solving Two-Player Games under Progress Assumptions” got accepted to VMCAI’24.
- 09/23 — Our paper on “Symbolic control for stochastic systems via finite parity games” finally appeared in the NAHS journal!
- 09/23 — Our paper on “Solving Odd-fair Parity Games” got accepted to FSTTCS’23!
- 09/23 — Our paper on “Context-Triggered Abstraction-Based Control Design” appeared in the IEEE Open Journal of Control Systems.