Numerical certification and reliability
Numerical and digital technologies are omnipresent in our everyday life and their use in the scientific and industrial worlds are constantly evolving. Numerical computations were first used as a tool to explain complex phenomena for which explicit computations or direct experiments were not possible. The next stage was the use of scientific computing as a dimensioning and designing tool in some industrial sectors.

The idea of using scientific computing as a certification or at least as a qualification tool is becoming gradually more and more sensible, not only because the power of computers constantly increases but also thanks to the methods and models that have been developed in the last decades. In order to address problems in the domain of certification or qualification it is necessary to mix several areas of science: mathematical and mechanical modeling, numerical analysis and computer science. The use of several thousands processors is useless without reliable numerical methods or with imprecise models.

In Bordeaux, a critical mass of researchers is working on these subjects, from both the theoretical and the application points of view, in an already established interdisciplinary process. The aim of this project is easy to state: we want to develop numerical sciences at such a level that it can be used as a certification tool.

Innovate for a better reliability of our systems
to improve our systems’ quality and security, at work or at home
CPU researchers will focus their energy on three main research areas heading to important breakthroughs in several high reliability demanding application domains (Health, Fluids, Aeronautics and telecom, Land transportation and Energy).