Clothilde Jeangoudoux

Max Planck Institute for Software Systems (MPI-SWS).

Paul-Ehrlich Strasse, Building G 26

room 510, Kaiserslautern

I am currently in a Postdoctoral position in Computer Science at MPI-SWS in Kaiserslautern, Germany. Before that, I did my PhD with Stef Graillat and Christoph Lauter at UPMC in Paris, France and Safran Electronics & Defense.

My research area goes from reliable computer arithmetic and software testing, to numerically reliable neural networks. In my PhD thesis, I tackled the problem of automatic test generation of numerical software for aircraft certification.


Mar 8, 2021 I’m on the PLDI’21 Artifact Evaluation Commity.

selected publications

  1. TACAS
    A Two-Phase Approach for Conditional Floating-Point Verification
    Lohar, D., Jeangoudoux, C., Sobel, J., Darulova, E., and Christakis, M.
    In TACAS’21 — International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2021
  2. ARITH
    A Correctly Rounded Mixed-Radix Fused-Multiply-Add
    Jeangoudoux, C., and Lauter, C.
    In 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH) 2018