Please complete the CAPTCHA to continue
@wanadoo.fr
✓
LinkedIn matched
A concise factual answer block for searchers comparing this professional profile.
Christele Faure - Simeoni is listed as Software Security Expert at SafeRiver, a company with 12 employees, based in Greater Nice Metropolitan Area, France, France. AeroLeads shows a work email signal at wanadoo.fr and a matched LinkedIn profile for Christele Faure - Simeoni.
Christele Faure - Simeoni previously worked as Scientific Director at Saferiver and Principal scientist at The Mathworks. Christele Faure - Simeoni holds Habilitation À Diriger Des Recherches, Computer Sciense, Mathematics from Université Côte D'Azur.
This section adds company-level context without repeating Christele Faure - Simeoni's masked contact details.
AeroLeads found 1 current-domain work email signal for Christele Faure - Simeoni. Compare company email patterns before reaching out.
I am interested in opening up new fields by translating industrial questions and looking for computer science answers. My interest in cooperative work, my practical knowledge of objectives and constraints, my high relational skills, my creative ear, make me the suitable professional for such job.I have already done such a job at the INRIA research center for Automatic Differentiation of software, at PolySpace Technologies start up and The MathWorks for automatic proof of absence of runtime error in softwares. And I continue to do so at SafeRiver for automatic detection of software security flaws.Specialties: Software safety and security by static analysis. R&D in software development. Reverse engineering. Software specification design and development. Software development and V&V team management.
Listed skills include Static Analysis, Software Development, Software Engineering, Polyspace, and 8 others.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
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.
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.
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.
Quick answers generated from the profile data available on this page.
Christele Faure - Simeoni works for SafeRiver.
Christele Faure - Simeoni is listed as Software Security Expert at SafeRiver.
AeroLeads has found 1 work email signal at @wanadoo.fr for Christele Faure - Simeoni at SafeRiver.
Christele Faure - Simeoni is based in Greater Nice Metropolitan Area, France, France while working with SafeRiver.
Christele Faure - Simeoni has worked for Saferiver, The Mathworks, Polyspace Technologies, and Inria.
Christele Faure - Simeoni's colleagues at SafeRiver include François Saliège and Romain Aïssat.
You can use AeroLeads to view verified contact signals for Christele Faure - Simeoni at SafeRiver, including work email, phone, and LinkedIn data when available.
Christele Faure - Simeoni holds Habilitation À Diriger Des Recherches, Computer Sciense, Mathematics from Université Côte D'Azur.
Christele Faure - Simeoni is listed with skills including Static Analysis, Software Development, Software Engineering, Polyspace, Computer Science, Algorithms, Testing, and Embedded Systems.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contactsCheck these profiles if this is not the Christele Faure - Simeoni you were looking for.
View similar profiles
