2011 - 2011Travail de développement du logiciel Uppaal. Application permettant la vérification formelle de modèles basés sur les automates temporisés.
Design et implémentation d'un algorithme de vérification des résultats sur des types de modèles précis (contenant des stopwatches).
Parrot SA
- Stagiaire
PARIS2010 - 2010Développements divers pour un cadre photo numérique dont du traitement d'image (C++) dans le but de faire de la reconstruction 3D et de l'amélioration de produit existant sous plateforme Android.
Club Robot de l'École Centrale de Nantes
- Développeur et trésorier
2008 - 2010Membre du pôle informatique afin de participer à le coupe de France de robotique
Développement C++ sous plateforme Linux, traitement d'image, programmation multi-processus, communication avec des cartes électroniques externes.
