Guillaume Berger

I work at Octave.energy, with a background in the analysis, control, and optimization of cyber-physical systems. Previously, I was an FNRS postdoctoral fellow at UCLouvain in the team of Raphaël Jungers, and a postdoctoral researcher at the University of Colorado Boulder in the team of Sriram Sankaranarayanan.

My research focuses on formal verification and data-driven analysis and control of complex systems, particularly cyber-physical and hybrid systems. I combine tools from optimization, computer science, and machine learning to study safety and correctness guarantees.

I have taught undergraduate, master’s, and graduate courses at the University of Colorado Boulder, UCLouvain, and UNamur, and have mentored and co-supervised Ph.D. students.

I received my Ph.D. in cyber-physical systems from UCLouvain in 2021, supervised by Raphaël Jungers, and my master’s degree in mathematical engineering from UCLouvain in 2017.