In charge of industrial applications of static analysis of program for safety, security and robustness. My goal is to go one step further in the usage of static tools by combining software instrumentation and abstract interpretation to answer complex user level questions. In charge of the extension of industrial development processes to static analysis of program. My role is to simplify the integration of static analysis tools by development teams into the development process on a day to day base. An also to facilitate the acceptation of such process evolution by development teams. Responsible for the specification and the development of a static tool for exploring the unsecurity of software: discovering access path to assets, evaluating the exploitability of known vulnerabilities ...

Development of relations with research laboratories and industries. Identification of possible extensions of PolySpace key components.PolySpace is a familly of tools (for C, C++, Ada) that detect runtime errors and generate a browsable synthesis of the errors found. It applies static analysis based on abstract interpretation to the source code of the application without any execution or test.

Initiation of relations between PolySpace R&D and french research laboratories and industries (ENS, CEA ...).Identification of possible extensions of PolySpace by scientific watch. Realisation of watch up studies on static analysis for other companies.

Lead of PolySpace R&D team for three versions of PolySpace familly tools.Lead of quality projects: R&D CMMI level 2 evaluation, PolySpace DO178B quality kits, PolySpace TUV certification.

Specification and design of PolySpace for C++. Lead of the C++ team (up to 7 members) in charge of the development and test of PolySpace for C++.

Development of PolySpace for JavaCard for Gemplus and extension to J2ME and full Java. This tool has not been industrialised due to the internet buble blow up.

Research on program transformation algorithms that generate adjoint program: formal description of derivative program, evaluation of time and space complexity of generated programs.

Development of Odyssée an Automatic Differentiation tool applied to industries EDF DER, Alenia, Dassault, Elf, BP. Automatic differentiation is a program transformation technic that generates a derivative program to compute sensitivities and adjoint values.