Person. Arthur Charguéraud Inria · chargueraud.org PhD advisorFrançois Pottier Postdoc advisorUmut A. Acar PhD studentsArmaël Guéneau PhDUniversité Paris Diderot