Sylvie Putot -

Registered user since Fri 10 Apr 2015

Name:Sylvie Putot

Affiliation:École Polytechnique

Personal website:http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/

Contributions

SAS 2021	Author of Static analysis of ReLU neural networks with tropical polyhedra within the SAS-track
SAS 2020	Committee Member in Program Committee within the SAS-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track
VMCAI 2019	Invited Speaker in Invited Speakers within the VMCAI 2019-track Author of Under and Over Approximated Reachability Analysis for the Verifcation of Control Systems within the VMCAI 2019-track Committee Member in Program Committee within the VMCAI 2019-track
POPL 2016	ERC member in External Reviewing Committee ERC member in External Reviewing Committee within the Research Papers-track