Etudes :

• D.E.A. d'informatique, mention Assez Bien, université d'Aix-Marseille II, juin 1999 : logiques modales et temporelles, calcul de complexité, programmation par contraintes, théorie des matroïdes, simplexe, problèmes S.A.T. et C.S.P., parallélisme, codes correcteurs d'erreurs.
• Maîtrise de mathématiques, mention Assez Bien, université d'Aix-Marseille II, juin 1997 : lambda calcul, fonctions récursives, calcul propositionnel, calcul des prédicats, analyse numérique, analyse de Fourrier, théorie des anneaux.
• Licence de mathématiques, mention Assez Bien, université d'Aix-Marseille II, juin 1996 : topologie des espaces métriques, calcul différentiel, topologie algébrique, corps finis, théorie de la mesure, intégrale de Lebesgue, processus stochastiques.
• D.E.U.G. Sciences et Structure de la Matière, mention Bien, université d'Aix-Marseille II, juin 1995. Option suivie : informatique.
• Mathématiques supérieures, Lycée Thiers, année 1993-1994.
• Bac, série C, mention Bien, académie d'Aix-Marseille, juin 1993.

Compétences informatiques :

• Langages : Java, Javacard, C, OCaml.
• Environnements cibles : carte à puce (environnements d'exécution Javacard), téléphones (environnements J2ME/MIDP), ordinateurs.
• Analyse statique de code : vérifieur de bytecode pour la machine virtuelle JavaCard.

Projets :

• Projet de D.E.A. d'informatique : résolution automatique du jeu Sokoban. Langage utilisé : Scheme.
• Projet de maîtrise de mathématiques : étude d'un système de réécriture portant sur les mots de tresse, preuve de sa terminaison. Ecriture en Caml-Light d'un programme permettant la comparaison des mots de tresse basé sur ce système de réécriture. Ecriture en Caml-light et en Java d'un programme de visualisation 2D des tresses.

Expériences professionnelles :

• Ingénieur logiciel carte à GEMALTO (2005-2006):
  • Programmation d'une application de synchronisation de répertoire téléphonique en JavaCard.
• Ingénieur sécurité carte à GEMPLUS (2000-2004):
  • Programmation d'un visualiseur de courbes en C avec la librairie GTK. Programme tournant sous Windows comme sous GNU/Linux.
  • Etude de la sécurité de la machine virtuelle JavaCard.
  • Etude détaillée des stratégies de vérification de bytecode et programmation d'un vérifieur de bytecode en OCaml.
  • Spécification d'un vérifieur de bytecode embarqué.
  • Réalisation d'attaques ciblant les environnements JavaCard.
  • Encadrement de stagiaires.
• Scientifique du contingent à OKTAL, une S.S.I.I. spécialisée dans l'image de synthèse et la simulation :
  • Caractérisation infrarouge d'une maquette virtuelle pour le projet aéroport du futur.
  • Responsable technique d'un projet de visualisation infrarouge de trajectoires de balle pour le C.T.A. (centre technique à l'armement).
  • Caractérisation infrarouge de terrains pour les simulateurs d'entraînement de Dassault Aviation.

Inventions :

• Brevets ayant trait à la technologie JavaCard et à l'analyse statique de code (No. Publication (Sec): FR2840084 et FR2853741)

Divers :

• Informatique : utilisation des logiciels et standards libres GNU/Linux, SVG, framework Firefox: XUL/Javascript/CSS.
• Mathématiques : lectures de papiers sur la théorie des tresses.

Langues étrangères :

• Anglais : écrit.
• Russe, Italien, Espagnol : notions.