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.|
- TACASA Two-Phase Approach for Conditional Floating-Point VerificationIn TACAS’21 — International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2021
- ARITHA Correctly Rounded Mixed-Radix Fused-Multiply-AddIn 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH) 2018