PDF - Version longue - English resume

Coordonnées

Christophe Delord
4 rue du Lac d'Oô, 81370 Saint Sulpice
tél : 06 67 07 13 04 - web : http://CDSoft.fr
42 ans

Expérience

Informatique

Ingénieur en Informatique et Mathématiques Appliquées
DEA d'Intelligence Artificielle
ENSEEIHT

19 ans d'expérience (intelligence artificielle, informatique embarquée, temps réel, ...)

Compétences

Langages fonctionnels
Haskell, OCaml, LISP
Langages logiques
PROLOG
Langages impératifs / objets
C, Python, Lua, C++
Langages bas niveau
assembleur, 80x86, SHARC, PowerPC, PIC32
Langages de script
Bash, Perl, Python, Lua
Systèmes d'exploitation
UNIX, GNU/Linux, Debian
Documentation
Markdown, reStructuredText, Pandoc, LaTeX, HTML

Expériences - logiciels libres

PP
Préprocesseur de texte pour Pandoc, Markdown et reStructuredText, écrit en Haskell
Modélisation, simulation en programmation fonctionnelle
Modéliser, simuler et vérifier des systèmes critiques temps réel avec des langages fonctionnels (Haskell)
Site web personnel
écrit en Markdown, Pandoc, make et Python, rubrique spécifique logiciels libres
TPG, SP
Générateurs d'analyseurs syntaxiques - Python
BonaLuna
Extension compacte et évolutive de Lua - multi plateforme (GNU/Linux et Windows), C et Lua
PyLog
Logique du premier ordre et PROLOG en Python
PopF
Filtrage de couriers électroniques indésirables - filtre bayésien, proxy POP3, Python

Expériences professionnelle

Fév. 2017 - ...
EasyMile.
Real-time embedded software, Sensor and environment simulation (C, Python, Ethernet, CAN, Linux) Logiciel embarqué temps réel, Simulation de capteurs et de l'environnement (C, Python, Ethernet, CAN, Linux)
Études, innovation
Sopra
Utilisation de langages fonctionnels (Haskell, OCaml, F#) pour modéliser des systèmes embarqués temps réels
Algorithmes génétiques pour la génération automatique de tests unitaires
Août 2015 - Jan. 2017
Sopra : simulation temps réel
Airbus : simulation temps réel de calculateurs de vol intégrée au simulateur global de l'A380 (Simics, Power PC, Linux, AFDX)
Sept. 2014 - Jan. 2017
Sopra : Essais en vol
Airbus : optimisation du réseau Wi-Fi, OS Linux temps réel, évolutions du système d'acquisition et d'analyse des données enregistrées en vol
Fév. 2014
Jan. 2015 - June 2015
Sopra : Expérimentation avec le PIC32 de Microchip
Airbus : étude et évaluation d'une architecture temps réel pour des modules d'acquisition de paramètres physiques (PIC32, synchronisation d'horloges)
Sopra Espagne, Fermax (Valencia) : étude de faisabilité d'un interphone VoIP
Oct. 2013 - Mars 2014
Sopra : générateur qualifié de loads ARINC 665
Thales Avionics : conception et codage en C, système générique de formatage de données
Sept. 2012 - Août 2014
Sopra : banc de test temps réel, modulaire, scriptable en Python
Thales Optronique : conception, codage et test. Noyau temps réel en C++ (Windows, RTX), modules d'entrées/sorties génériques, configuration et comportement du noyau et des modules en Python (interpréteur embarqué)
Avr. 2012 - Oct. 2012
Sopra : simulateur d'OMS (On Board Maintenance System), DO-178B, Python
Liebherr Aerospace : conception, developpement et test d'un OMS (simulateur ARINC 604 en Python, interface ARINC 429), environnement de test scriptable en Python, simulation du LRU pour la validation de l'OMS, génération automatisée de la documentation en Python et reStructuredText (Sphinx, résultats de test, traçabilité)
Mai 2001 - Juin 2014
Sopra : embarqué, temps réel, D0-178B
Liebherr Aerospace : génération semi automatique de tests unitaires en Python pour RTRT
Thales Avionics : commandes de vol A320, spécification, conception, codage, tests
Airbus : commandes de vol A380, A350, spécification, conception, codage, tests (en France et formation d'une équipe en Inde)
Airbus : simulateur de microprocesseur (Python, parcours de graphe, calcul de WCET et analyse de pile)
Airbus : études de sûreté de fonctionnement
Oct. 1998 - Mai 2001
Sopra
CNRS, Laboratoires Pierre Fabre : informatique de gestion, bases de données

Formation

1997 - 1998
ENSEEIHT - IRIT : DEA RCFR (Représentation de la Connaissance et Formalisation du Raisonnement), Intelligence artificielle
Publication : Actes de langage et jeux de dialogue (Colloque Intelligence Artificielle et Complexité, Université Saint Denis, Paris VIII)
1995 - 1998
ENSEEIHT : Ingénieur en Informatique et mathématiques Appliquées

Langues

Français
langue maternelle
Anglais
10 ans, lu, écrit, parlé

Liens

CV détaillé
HTML : http://cdsoft.fr/cv/cv.fr.html - PDF : http://cdsoft.fr/cv/cv.fr.pdf