Description
Ivan Gazeau est ingénieur chercheur à la R&D d’EDF. Il est spécialisé dans les aspects mathématiques de la cybersécurité (privauté par conception et méthodes formelles) et il coordonne les partenariats avec les académiques dans le domaine de la cybersécurité. Il a travaillé précédemment à l’INRIA et au CNRS sur la vérification de protocoles cryptographiques après son doctorat à Polytechnique et ses études à l’ENS.
