Participation au développement d'un socle applicatif destiné à accueillir différents systèmes d'informations de l'armée de terre.
Projet SICF (Système d'Information et de Commandement des Forces)
Participation au développement du système ainsi qu'aux phases de recueil du besoin, spécification des exigences, conception détaillée.
- développement d'un outil de programmation par contraintes
- développement d'un système expert
- développement d'un outil de programmation linéaire
- optimisation combinatoire
- OSGi, Java 5 SE, Maven, ClearCase, Eclipse 3.4.1
Grande participation à la définition de l'architecture de différents composants du système.
Axlog Ingénierie
- Ingénieur R&D
2005 - 2007Projet RNTL DANOCOPS (Août 2005 - Mars 2007)
Développement d'un outil multi plates-formes de détection automatique de non-conformités d'un programme par rapport à ses spécifications, décrites dans un langage d'assertion (JML dans le cas de Java).
Partenaires : THALES Systèmes Aéroportés, I3S, LIFC, LSR.
Environnement : Windows XP/Linux, Java 5.0SE, Eclipse 3.2, SICStus Prolog, JDT, Draw2D, CVS.
Poursuite du développement d'un outil multi plates-formes de génération automatique déterministe de cas de tests structurels traitant les langages C, C++, Java.
Partenaires : THALES Systèmes Aéroportés, I3S, LIFC, LSR.
Environnement : Windows/Linux, Java 5.0SE, Eclipse 3.2, SICStus Prolog, JDT, Draw2D, CVS.
3IE
- Consultant
2004 - 2004Développement d'outils de prospective stratégique (Jan 2004 - Juin 2004)
- Recherches sur la programmation linéaire et non-linéaire pour la minimisation de forme quadratique soumise à contraintes (méthode de Lemke-Howson).
- Utilisation d'algorithmes génétiques et du recuit simulé pour le placement de composants graphiques.
Environnement : Windows XP, C#, .NET, Visual Studio, GDI+.
LOGAPRO
- Stagiaire
2002 - 2002Juil. 2002 - Août 2002
Développement d'un moteur 3D OpenGL minimaliste simulant le processus de traîtement chimique de pièces métalliques.
Environnement : Windows 2000, C, OpenGL, WinDev.
