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.
- ISSTAInterval Constraint-Based Mutation Testing of Numerical SpecificationsIn ISSTA 2021 — ACM SIGSOFT International Symposium on Software Testing and Analysis 2021
- 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