果冻传媒

I am a Postdoctoral researcher at the Control Systems Technology group, Mechanical Engineering department. 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.
  
  • Finite-state models of dynamical systems (formal abstractions).
  • Verification and control through finite abstractions, formal languages and automata.
• Stochastic dynamics and control.
  
  • Markov Decision Processes, Reinforcement Learning. 
  • Information-theoretic tools in control.
• The interface of optimization and control.
  
  • Optimization-based control techniques for safety-critical tasks (control-barrier functions, projection-based control).
  • Feedback optimization (optimization algorithms interconnected with dynamical systems, online optimization of dynamical systems).
  • Nonsmooth dynamics.

For my full publications list, visit the

Philosophy and ideology play an immense, although subtle, role in science. They predispose scientists regarding how to interpret observations and experiments, what hypotheses to make or to discard. Hence, scientists have to be aware of their philosophical preconceptions.