Licio Romao

I am a postdoctoral researcher at the Department of Computer Science, University of Oxford.


I am a member of Oxcav where I work with Prof. Alessandro Abate at the intersection of machine learning, verification, and control. I obtained my PhD in June 2021 from the Department of Engineering Science, Univeristy of Oxford, under the supervision of Prof. Kostas Margellos and Prof. Antonis Papachristodoulou. I obtained my MSc in Electrical Engineering from the University of Campinas (UNICAMP), Brazil, in 2017, under the supervision of Prof. Pedro Luis Dias Peres, and BSc in Electrical Engineering from the Federal University of Campina Grande (UFCG), Brazil, in 2014. My PhD thesis was awarded the Institute of Engineering Technology’s (IET) Control and Automation Dissertation Prize 2021.

A copy of my cv can be found here.

My research combines techniques from formal verification, control theory, applied mathematics, and machine learning to enable the design of safer and more reliable feedback systems. It focuses on addressing theoretical and practical aspects of the decision-making process under uncertainty. My research interests include:

  • Dynamic programming and reinforcement learning
  • Abstraction of dynamical systems
  • Formal verification
  • Stochastic systems
  • Stochastic optimization
  • Feedback control systems