Thierry Lecomte

Thierry Lecomte

Directeur Projets R&D, ClearSy System Engineering
 

En poste chez ClearSy System Engineering

Précédents : ClearSy System Engineering, Steria, DIGILOG

 

Précédents : Université Compiègne, Ecole Nationale Supérieure Des Techniques Industrielles Et Des Mines

Parcours

 

Directeur Projets R&D

Chez ClearSy System Engineering

De 2006 à aujourd'hui
- développement de logiciels sécuritaires: AGL de maintenance des TGV Atlantique - expert CERTIFER: évaluateur de logiciels critiques transport ferré - promotion des outils logiciels: Développement de logiciels sûrs de fonctionnement, Modélisation et animation de systèmes - montage et suivi de ...
Lire la suite
 

Ingénieur Sûreté de Fonctionnement

Chez ClearSy System Engineering

De 2000 à 2005
- Réalisation d'études (APR, AEEL, AMDEC, Dossier de sécurité) et de projets pour des logiciels/systèmes de sécurité ferroviaires de niveau SIL2 à SIL4 (pilote automatique de métro, décodage données balises, passerelle de communication MF2000, ampèremètre programmable sur voie, contrôle/commande de ...
Lire la suite
 

Ingénieur informaticien

Chez Steria

De 1995 à 1999
Direction technique du développement et de l'amélioration d'outils mathématiques pour la démonstration (semi) automatique de la sécurité de logiciels Etudes de sûreté de fonctionnement de logiciels de sécurité dans le domaine ferroviaire.
 

Ingénieur informaticien

Chez DIGILOG

De 1990 à 1995
Ingénieur d'études: - intelligence artificielle, - traitement du signal pour des applications de reconnaissance de formes: * classification d'échos de sonar, * classification de bruits de pâles d'hélicoptère, * classification de scènes d'agression dans le métro parisien - ...
Lire la suite
 

Université Compiègne, Compiegne

DEA Contrôle des systèmes, Université Compiègne

De 1988 à 1989
DEA Contrôle ds systèmes

Compétences

 
  • Methode B
  • Methodes
  • Méthodes Formelles
  • Sureté
  • Sureté de fonctionnement

Langues parlées

 

Centres d'intérêt

 
  • génération de code (LLVM)
  • logiciel sûr
  • modélisation
  • méthode B
  • validation de données