Sylvain Chevillard's home page
When you eliminated the impossible, whatever remains, however improbable, must be the truth.
I'm a researcher in the Inria research center of Sophia Antipolis.
I work within the Factas team which focuses on using approximation tools for solving problems related to signal processing, control theory, or inverse problems in particular partial differential equations.
Before that, I have been a postdoctoral fellow in the Caramel team at the LORIA in Nancy, and I have been a PhD student in the Arenaire project in the école normale supérieure de Lyon (ENS). My supervisors were Jean-Michel Muller and Nicolas Brisebarre.
Until now, I have been working on improving the efficiency and/or the accuracy of the computations performed by computers, and more precisely, the computations involving real univariate functions (such as exp(x), sin(x), atan(log(1+x)) for instance). This led me to contribute to the development of the Sollya software tool which aims at giving a safe and efficient tool for helping developers of numerical functions in the synthesis of their code. I also contributed to the development of the MPFR library.
During my thesis, I was a teaching assistant in the ENS. I gave tutorials and practical sessions for several courses (introduction to programming, introduction to computability and decidability, formal proof with the proof assistant COQ, Turing complexity, computer arithmetic).
While writting these pages, I took a special care conforming standards (HTML and CSS) and making them accessible to special medias (text-mode browsers). My english is also surely not so good. So, feel free to contact me if you have any remark. You can send me an email at firstname.name@ens-lyon.org.
My complete address is the following:
A (more complete) version of this site is available in french.