De Henry Email
Ingénieur vérification de preuve formelle @ Siemens
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
De Henry Location
- Saint-Cloud, IDF, FR
De Henry Work
- 2022 -now Ingénieur vérification de preuve formelle @
- 2017 -2023 Ingénieur RAMS @
- 2017 -2017 Stagiaire en développement Web @
- 2016 -2016 Stagiaire en recherche et développement @
- 2015 -2015 Stagiaire en recherche et développement @
- 2014 -2014 Stage d'assistant en développement @ Synapse Picardie
De Henry Education
- ENSIIE - École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise 2013-2016
- Lycée Janson de Sailly
Classe préparatoire aux grandes écoles (MPSI-MP)
2011-2013
De Henry Skills
- Java
- C
- B
- COQ
- Formal Verification
- language theory
- PHP
- C++
- CSS
- Linux
- SQL
- JavaScript
- HTML
- MySQL
- Isabelle
- OCaml
- Python
- Gestion de projet
De Henry Summary
- De Henry, based in Saint-Cloud, IDF, FR, is currently a Ingénieur vérification de preuve formelle at Siemens. De Henry brings experience from previous roles at IKOS GROUP, HEMYCA, Systerel and SICEM SRL. De Henry holds a 2013 - 2016 ENSIIE - École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise. With a robust skill set that includes Java, C, B, COQ, Formal Verification and more. De Henry has 1 emails on RocketReach.
Looking for a different De Henry?
Find contact details for 700 million professionals.
Others Named De Henry
De Henry
ART TEAM
Kansas City, MO, US
De Henry
Ingénieur vérification de preuve formelle
Saint-Cloud, IDF, FR
Top Siemens Employees
Andre Rodenbeck
CEO Rolling Stock (Siemens Mobility)
Hanover, NDS, DE
Tobias Riehl
CFO Grid Software
Munich, BY, DE
Johannes Emmelheinz
CEO Siemens Rail Services
Marktoberdorf, BY, DE
Joerg Vocke
CEO Siemens Real Estate
Munich, BY, DE
Klaus Meyer
CEO of Siemens Finance and Leasing GmbH
Munich, BY, DE
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co