The team works at the crossroads between numerical analysis and computing science. It designs models and validated algorithms to solve nonlinear problems. These algorithms are implemented in generic constraint solving platforms, and tuned to solve problems in robotics, control theory, and automated design.

• Validated Computing
• Solving and Global Optimization
• Robotics, Control Theory and Automated Design