If you do not see this message displayed properly, please click here


The Faculty of Informatics is pleased to announce a seminar given by Alexandre Chapoutot



DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
Speaker: Alexandre Chapoutot
ENSTA ParisTech, France
Date: Friday, October 28, 2016
Place: USI Lugano Campus, room SI-015, Informatics building (Via G. Buffi 13)
Time: 11.30



Interval analysis tools have been used in many techniques and methods to study dynamical systems. Nevertheless, custom homemade libraries are usually developed for these purposes. DynIBEX is a free open-source library combining validated numerical integration methods with a constraint programming library named IBEX. Its purpose is to provide all the basic interval operators which may be used into more complex algorithms for studying dynamical systems.



Alexandre Chapoutot is an Associated professor at ENSTA ParisTech since 2010. He received his Ph.D. in Computer Science from Ecole polytechnique in 2008 for his work on static analysis by abstract interpretation of hybrid systems. He received his master degree in Computer Science from University Pierre et Marie Curie (UPMC) in 2005. He worked as a research and teaching assistant at University Pierre et Marie Curie, at LIP6, where he studied the accuracy of floating-point computations in programs. His research activities are mainly focused on the definition and the application of set-based methods, for the analysis and the verification of properties of cyber-physical systems. He is also interested in the analysis and the improvement of floating-point accuracy in programs.


Host: Prof. Natasha Sharygina


Faculty of Informatics

Faculty of Informatics
Università della Svizzera italiana
Via Giuseppe Buffi 13
CH-6904 Lugano
Tel.: +41 (0)58 666 46 90
Fax: +41 (0)58 666 45 36
Email: decanato.inf@usi.ch
Web: www.inf.usi.ch
Twitter: @USI_INF


Segui USI@EXPO2015 su Twitter Segui USI@EXPO2015 su Facebook Segui USI@EXPO2015 su Linkedin Segui USI@EXPO2015 su YouTube