Guillaume Genestier

Guillaume Genestier has a work experience as a Formal Method Engineer at Tweag since May 2021. Prior to that, they obtained a PhD in Computer Science from École normale supérieure Paris-Saclay, where they worked from October 2017 to September 2020.

Guillaume Genestier completed their education in two stages. From 2013 to 2017, they attended École Polytechnique, where they obtained a Diplôme d'ingénieur in Mathematics and Computer Science. Subsequently, from 2016 to 2017, they pursued a Master's degree in Mathematical Logic and Foundations of Computer Science at Université Paris Cité.