“Philosophy and ideology play an immense, although subtle, role in science. They predispose scientists on how to interpret observations and experiments, what hypotheses to make or discard. Every scientist should thus be conscious of their philosophy and ideology.”

ABOUT ME

I am a Senior Research Scientist at the AI4I Italian Institute of Artificial Intelligence (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.

Research interests

01 /
01

Formal methods & dynamical systems

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.

02

Stochastics, control and information theory

Markov processes, stochastic conntrol, reinforcement learning and iinformation-theoretic approaches for dynamical systems and control.

03

Optimization & control

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

02 /

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 & updates

03 /
  • Oct 2026
    Preprint on memory-dependent interval Markov chain abstractions appeared on arXiv.
  • Jun 2026
    I gave a talk at the Delft Center for Systems and Control, TU Delft, for their DCSC Colloquia Series! The video will be uploaded soon.
  • 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!
Earlier updates
  • 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!