About
Hello!
I am a postdoctoral researcher at Max Planck Institute for Software Systems (MPI-SWS). I finished my PhD studies at the MPI-SWS under the supervision of Prof. Rupak Majumdar. My main experties lies in the intersection of control systems and machine learning, with a focus on enhancing the efficiency of smart energy grids, autonomous electric vehicles and distributed server systems.
Research Interests
- Formal Methods in Control
- Learning in Control
- Cyber-Physical Systems
Publications
- Regret-Free Reinforcement Learning for LTL Specifications with Rupak Majumdar and Sadegh Soudjani.
- Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces with Arabinda Ghosh and Sadegh Soudjani.
- Data-Driven Abstraction-Based Control Synthesis with Milad Kazemi, Rupak Majumdar, Sadegh Soudjani and Ben Wooding.
- The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems with Julian D'Costa, Toghrul Karimov, Joël Ouaknine, James Worrell, MFCS 2022.
- Symbolic Reach-Avoid Control of Multi-Agent Systems with Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani, Mehrdad Zareian, ICCPS 2021.
- The Pseudo-Skolem Problem is Decidable with Julian D'Costa, Toghrul Karimov, Joël Ouaknine, James Worrell, MFCS 2022.
- On Decidability of Time-Bounded Reachability in CTMDPs with Rupak Majumdar and Sadegh Soudjani, ICALP 2020.
- A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs with Sadegh Soudjani and Rupak Majumdar, TOMPECS.
- Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control with Rocco Salvia, Eva Darulova, Sadegh Soudjani and Rupak Majumdar, EMSOFT 2019.
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach with Sadegh Soudjani and Rupak Majumdar, QEST 2018. (Best Paper Award)
- Perception-in-the-Loop Adversarial Examples with Sadegh Soudjani and Rupak Majumdar.
Competitions
Teaching
-
Advanced Complexity Theory (teaching assistant), TU-Kaiserslautern, Winter 2021.
-
Advanced Automata Theory (teaching assistant), TU-Kaiserslautern, Summer 2018.
Supervised Students
-
Ghazal Ebrahimi, Summer 2019.