Nasrine Damouche

Currently, I am a research engineer within the ThéMIS (Théorie, modélisation et ingénierie des systèmes​) team in DISC (Department of Complex Systems Engineering) at ISAE-SUPAERO. I am involved in the CONCORDE [1] project, funded by the DGA, which brings together ONERA (Office National d’Études et de Recherches Aérospatiales) and ENAC (École Nationale de l’Aviation Civile). My research focuses on the formal verification of requirements specification to ensure their consistency and correctness throughout the complex systems development lifecycle, aiming to prevent potential errors in system specification and design.

I was a postdoc at IRT Saint Exupery, in the Embedded systems department. I was working on an incremental static analyzer approach to estimate the WCET applied on the Infinion tricore TC275 processor.

I was a postdoc funded by the LaBEX CIMI at IRIT/ENSEEIHT, in the ACADIE team. I was working on dependent type system to check numerical stability in finite precision using prametrized gauge functions for dataflow languages like Lustre.

I received my Ph.D. in Computer Science from the University of Perpignan in December 2016, on Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods under the supervision of Matthieu Martel and Alexandre Chapoutot. I developped Salsa, a tool that improves the numerical accuracy of programs based on floating-point arithmetic. Salsa relies on static analysis by abstract interpretation to compute variable ranges and round-off error bounds.

I received my Master’s degree in Computer Science at the University of Paul Sabatier - Toulouse III, France, in 2013.