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 formal methods, optimization and information theory. 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 models of dynamical systems (finite abstractions), verification and control of dynamical systems through finite abstractions, formal languages and automata.
- Stochastics and control, including Markov 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).
Academic Background
I obtained the Diploma (joint BSc. and MSc.) 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
- [Mar 2026] Paper on the tempered Bayes filter accepted at IEEE OJ-CSYS!
- [Mar 2026] Preprint on formal entropy-regularized control of stochastic systems appeared on arXiv.
- [Feb 2026] I joined AI4I as a Senior Research Scientist!
- [Feb 2026] Preprint on safe feedback optimization appeared on arXiv.
- [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.
- [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!