Organisation/Lieu

Centre de Recherches de l'École Spéciale Militaire de Saint-Cyr

Diplômes

Doctorat en Informatique de l'Université (Paris VI)
Habilitation à Diriger des Recherches en Informatique (Paris VI)

Expérience dans l'enseignement

Éric Jacopin a enseigné divers langages algorithmiques (Pascal, Ada), orientés objets (Common Lisp Object System, C++) et fonctionnel (Scheme, Lisp, Mathematica), à divers niveaux, du Deug à la maîtrise et en école d'ingénieur.

Expérience en Mathematica

Éric Jacopin a découvert Mathematica lors de son stage de DEA au laboratoire de Robotique de l'Université de Stanford en 1989. Puis il a développé un Package d'analyse d'espace de recherches en planification d'actions (Intelligence Artificielle), qu'il distribuait avec un système de planification d'actions qu'il avait développé dans le cadre de sa thèse d'Université (1994-2001). Depuis 1999, il étudie la satisfiabilité de formules booléennes principalement pour générer des exemples bizarres pour l'enseignement. D'autre part, Éric Jacopin utilise Mathematica extensivement dans ses cours à l'École Spéciale Militaire de Saint-Cyr pour une initiation à la mesure de la difficulté de résolution d'un problème par un algorithme (Machines de Turing) et à la conception orientée objet pour laquelle il a implémenté une couche objet à partir du Modèle d'ObjVlisp.

Langues parlées et écrites

Français et Anglais