Guillaume O. Berger

Postdoctoral research associate at University of Colorado Boulder

Photo of me


I am a postdoctoral researcher in the Programming Languages and Verification Laboratory, at University of Colorado Boulder (with Sriram Sankaranarayanan), since November 2021. I obtained my PhD. in System Engineering from Université Catholique of Louvain (with ‪Raphaël Jungers) in 2021, and my Master Degree in Applied Mathematics from Université Catholique of Louvain in 2017.

More info: Google Scholar, CV

Research interests

My area of research is the analysis, control, and optimization of complex systems, like cyber-physical systems and hybrid systems. I am particularly interested in formal verification and data-driven analysis of these systems, using tools from optimization, computer science and machine learning.


[12-22] I will be at CDC 2022 in December.

[09-22] Our paper An Algorithm for Learning Switched Linear Dynamics from Data has been accepted at NeurIPS 2022.

[09-22] Our paper Verified Path Following Using Neural Control Lyapunov Functions has been accepted at CoRL 2022.


Engineering Center ECCS 121, CU Programming Languages and Verification Laboratory
Campus Box UCB 0430
University of Colorado Boulder CO

Email: first-name [without O.] (dot) last-name (at) colorado (dot) edu