معرفی
Julien Alexandre dit Sandretto is an Associate Professor in the Computer Science and System Engineering Department at ENSTA ParisTech, France. He is also an associate member of the Cosynus team at LIX laboratory, Ecole Polytechnique. His research focuses on verification methods under uncertainties, including parameter identification, simulation, modeling, and control of cyber-physical systems. He leads projects funded by the Chaire 'Ingénierie des Systèmes Complexes' and DGA-MRIS, collaborating with institutions like ENSTA Bretagne and ENS Cachan.
- Education: BSc in Applied Mathematics (University Joseph Fourier, 2002), Engineering degree (Polytech'Grenoble, 2006), PhD in Computer Science (University of Nice-Sophia Antipolis, 2013).
His work emphasizes guaranteed integration for Differential Algebraic Equations and viability kernel computation. He has developed software tools like Dynibex, ViabKer, and ProtoReach for validated numerical methods. Teaching includes courses on numerical methods, algorithmics, and constraint programming.
Advising includes multiple master’s theses on topics ranging from hovercraft calibration to SAT modulo ODEs. He is affiliated with the American Mathematical Society and has an Erdős number of 3.
