Hi there!

I am post-doc in the Verification of Autonomous Systems group at Imperial College. My research concerns the verification of learning-enabled systems within the DARPA Assured Autonomy Program.

Before joining Imperial, I was a PhD student under the supervision of Erika Ábrahám and Armando Tacchella. During my PhD I developed new algorithms for automated planning via Optimization Modulo Theories.

You might want to check out my CV to get a better picture of what I’ve done professionally so far.


  • Elena and I competed in the AI and Neural Network Control Systems track of the ARCH-COMP20. The track focuses on safety verification of closed-loop systems governed by neural controllers. Challenging problem with some really cool applications! Results out soon(ish), stay tuned. 2020. 07. 12.
  • Fantastic news! Our paper on "Optimal Planning Modulo Theories" has been accepted at IJCAI20. Read the paper here. 2020. 04. 20.
  • Coventry here I come. Invited to the Automata in the Wild workshop at the University of Warwick. Postponed. 2020. 02. 27.
  • Just came back from Italy, where I successfully defended my PhD! 2020. 01. 26.
  • New year, new paper: "Verification of Neural Networks: Enhancing Scalability through Pruning" accepted at ECAI20. Read the paper here. 2020. 01. 15.
  • Joined Imperial College London, exciting times ahead! 2019. 10. 27.
  • Great news: invited to speak at FMAIL in Bergen next Dec. 2019. 10. 03.
  • New website online. 2019. 09. 16.