Florent Garnier

Florent Garnier is a senior software engineer at The MathWorks, where they design methods for automatic software analysis and integrate these techniques into a high-quality industrial codebase. Prior to this role, Florent served as a postdoctoral researcher, focusing on models of infinite state probabilistic and nondeterministic programs, and previously held positions as a lecturer at Nancy University and an associate research engineer at Laboratoire Verimag. Florent earned a PhD in Computer Science from the Institut national polytechnique de Lorraine, alongside a Master’s degree and two Bachelor’s degrees from UVSQ Université de Versailles Saint-Quentin-en-Yvelines.