Research Profile
I am a Senior Research Scientist at AI4I (RIAS Lab, directed by Luca Laurenti). I am active in the field of control theory and its intersections with optimization and formal methods. My specific research interests span the following:
- The interface of formal methods and dynamical systems, including hybrid systems (systems with both continuous and discrete dynamics), finite-state models of dynamical systems (formal abstractions), verification and control of dynamical systems through finite abstractions, formal languages and automata.
- Stochastic dynamics and control, including Markov decision processes, reinforcement learning, and information theory in control.
- The interface of optimization and control, including nonsmooth dynamics, optimization-based control for safety-critical tasks (control-barrier functions, projection-based control), and feedback optimization (optimization algorithms interconnected with dynamical systems, online optimization of dynamical systems).
Academic Background
I obtained the Diploma (joint BSc. and MSc. degree) in Electrical and Computer Engineering, from the National Technical University of Athens (NTUA) in 2017. I obtained my PhD, Cum Laude (top 5% in the Netherlands), from Delft University of Technology, in 2022. I have previously held postdoctoral positions at TU Delft and TU Eindhoven.
News
- [Feb 2026] I joined AI4I as a Senior Research Scientist!
- [Dec 2025] I gave an invited talk at the 19th Panhellenic Conference on Mathematical Analysis (18-20 Dec. 2025)!
- [Dec 2025] Preprint on the information theory of finite abstractions and their fundamental scalability limits appeared on arXiv.
- [Dec 2025] Preprint on the tempered Bayes filter appeared on arXiv.
- [Jul 2025] Paper on feedback optimization with state constraints accepted at IEEE CDC 2025!
- [Jun 2025] I gave an invited talk at the OBI2 workshop on Dynamics, Optimization and Control, in Groningen.
- [Jun 2025] Paper on predictable RL published at TMLR!
- [Apr 2025] Paper on memory-dependent abstractions of stochastic processes accepted at HSCC 2025!