Formation

1991 :

Ingénieur ENSTA

(Ecole Nationale Supérieure des Techniques Avancées – concours des Mines)

Option : Systèmes Formels Informatiques

·  Génie Logiciel :

-  programmation objet

-  programmation sous contraintes

-  structures des langages de programmation

·  Intelligence Artificielle :

-  systèmes formels et automates à dimensions finies

-  algorithmie

-  arbres de décisions

-  réseaux de neurones

Langues :

Anglais : courant et professionnel

Espagnol : parlé