-
Software Engineering Institute
- Architecture Researcher
2012 - maintenant
-
Agence Spatiale Européenne
- Ingénieur logiciel
2010 - 2012
-
Software Engineer Institute - Carnegie Mellon University
- Chercheur invité
2008 - 2008
- Rédaction de l'annexe ARINC653 dans le standard AADL
- Intégration de code applicatif Simulink ou Scade avec des modèles AADL dans une perspective de génération de code
- Création de programmes pour la vérifications de modèles en rapport à l'approche MILS
-
EPITA
- Prof
Villejuif
2007 - maintenant
- Responsable du département embarqué/temps-réel (GISTR) - http://gistr.epita.fr
- Cours modélisation des systèmes temps-réel (modélisation, génération de code, etc ...)
- Cours langages synchrones (Lustre/Esterel)
- Cours langage Ada
- Cours Normes de l'Embarqué et du Temps-Réel (présentation ARINC653, AUTOSAR, ...)
-
Ecole Nationale Supérieure des Télécommunications
- Stage de validation de Master
2007 - 2007
Ce stage a pour but de valider ma seconde année de Master à l'université Pierre et Marie Curie. Le but est de créer un générateur de code C à partir de descriptions de systèmes.
-
ENST
- Chargé de cours
2007 - 2010
- Encadrement de TP autour de la problématique des systèmes embarqués (RT-CORBA, RT-POSIX, ...)
- Suivi de projets étudiants (aide à l'utilisation du langage Java, etc.)
-
Google (SOC)
- Développeur - Summer of Code
2006 - 2006
Contribution dans un projet libre dans le cadre de l'initiative Summer of Code initiée par Google.
-
Mandriva
- Developpeur / consultant
Paris
2005 - 2005
Réalisation de logiciel et autres :
o Contribution a des projets spécifiques à l'entreprise
o Contribution au projet Aden : http://www.africaden.net
-
Edge-IT
- Développeur
2004 - 2004
Développement de produits spécifiques.
-
Pommes
- Formateur
2004 - 2004
o Formation sur la partie unix d'OS X
o Intervention chez des clients pour la maintenance de serveurs
-
Tuxfamily
- Président - développeur
2004 - 2006
Hébergeur de projets sur Internet, Tuxfamily fournit des services d'hébergement pour des projets autour deu logiciel libre. J'ai repris l'association en 2004 pour créer la plate-forme d'hébergement. J'ai par ailleurs occupé le poste de président de l'association pendant 2 ans.
