Mes compétences :
Compilation
Embedded System
Linux
C
Entreprises
Synopsys
- Ingénieur Recherche et Développement
Rungis Complexe2012 - maintenantIngénieur R&D sur un logiciel d'analyse statique de timing pour l'industrie de la microélectronique.
STMicroelectronics
- Doctorant
2008 - 2012Actuellement en thèse avec le laboratoire VERIMAG.
Intérêts: Compilation et optimisation, analyse statique par interprétation abstraite.
National Institute of Standards and Technology
- Guest Researcher
2008 - 2008Etude et developpement d'un reseau de capteurs autonomes sans-fil pour l'industrie des semi-conducteurs.
6WIND
- Stagiaire développement
2007 - 20076WIND développe des solutions logicielles pour les équipements réseaux.
Lors de mon stage de 2nde année, j'ai conçu et intégré une couche IPv6 rapide (Fast Path) pour des processeurs multicores (RMI XLR732 et Cavium Octeon notamment) au 6WINDGate.
INRIA
- Stagiaire développement robotique
Le Chesnay2006 - 2006Stage au LORIA, INRIA Lorraine, dans l'équipe Maia (Machines Intelligentes Autonomes).
Le but de ce stage était de mettre au point une bibliothèque permettant à des robots télécommandés (les wifibots) d'évoluer en autonome.
Cette bibliothèque, écrite en C pour linux embarqué, permet de gérer la caméra IP, de faire du traitement basique d'images (recherche d'un blob de couleur dans l'image) afin de faire du suivi d'objet, et permet au robot de contrôler ses moteurs.
La wifibotlib est utilisée encore aujourd'hui par l'équipe.
