I am currently a Postdoc in the OXCAV group of the Department of Computer Science, at the University of Oxford, under the supervision of Alessandro Abate. I have completed my Ph.D. in the Mathematical Ingineering department of the ICTEAM Institute, at UCLouvain in September 2024, under the supervision of Raphaël Jungers. I obtained my Master degree in Applied Mathematics from UNamur in 2019.
My research area is the analysis of complex systems like cyber-physical systems and hybrid systems. I am particularly interested in the stability analysis of switched systems using tools from optimization, computer science and graph theory. More precisely, I am working on :
the comparison of Lyapunov stability certificates w.r.t. their conservatism
the neural-based approximation of the joint spectral radius
Wolfson Building
Parks Road, OX1 3QG
Oxford, UK
virginie.debauche'at'cs.ox.ac.uk
NEWS
I have completed my PhD in September 2024, and I have recently started a new Postdoc position in the OXCAV group of the Department of Computer Science, at the University of Oxford, under the supervision of Alessandro Abate.
Our paper "Comparison of path-complete Lyapunov functions via template-dependent lifts" has received the NAHS best paper award for years 2020-2022.
I am currently funded by the ARIA project "SAINT: Safe AI ageNTs -Formal Certification of AI Agents in the world" of Alessandro Abate.