Les pages professionnellesdes enseignants chercheurs

Nasrine Damouche

Mis à jour le

Currently, I am a research engineer within the CASC (Conception et Analyse des Systèmes Critiques) team at DISC (Département de l’Ingénierie des Systèmes Complexes). I am involved in the CONCORDE project.

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 supervised by Xavier Thirioux. 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.

You can find here my full CV, and here the list of my publications in DBLP.

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour vous proposer des contenus et services adaptés OK
Pour accéder à toutes les fonctionnalités de ce site, vous devez activer JavaScript. Voici les instructions pour activer JavaScript dans votre navigateur Web.