Curriculum Vitæ

État civil

Antoine SPICHER

Né le 09 avril 1980 à Amiens (80), nationalité française, en couple.

LACL (EA 4213)
Faculté des sciences et technologie
Université Paris 12
Bureau P2-240
61 avenue du Général de Gaulle
94010 Créteil Cedex – FRANCE

Tél. : +33 (0)1 45 17 16 35
Fax : +33 (0)1 45 17 66 01
E-mail : antoine [DOT] spicher [AT] univ-paris12 [DOT] fr

Parcours professionnel

2008 – ... : Maître de conférences à l'université Paris 12, LACL.

2007 – 2008 : post-doctorant INRIA au LORIA, Projet-Équipe MAIA.

2006 – 2007 : Attaché Temporaire d'Enseignement et de Recherche (demi poste) à l'ENSIIE.
Algorithmique et programmation (1ère année) ; Compilation, Projet mathématiques-informatique (2ième année).
88 heures équivalent TD.

2005 – 2006 : Moniteur de l'enseignement supérieur à l'Université d'Évry-Val d'Essonne.
Introduction à la théorie des langages formels (L2) ; Compilation (L3) ; Bases de données avancées, Modélisation et simulation informatique (M1).
69 heures équivalent TD.

2004 – 2005 : Moniteur de l'enseignement supérieur à l'Université d'Évry-Val d'Essonne.
Programmation fonctionnelle (DEUG-1) ; Compilation (Licence).
72 heures équivalent TD.

2003 – 2004 : Moniteur de l'enseignement supérieur à l'Université d'Évry-Val d'Essonne.
Introduction à la programmation fonctionnelle (DEUG-1) ; Système UNIX (DEUG-2).
60 heures équivalent TD.

Formations et diplômes

2004 – 2006 : Thèse de doctorat en Informatique

• Titre : Transformation de collections topologiques de dimension arbitraire. Application à la modélisation de systèmes dynamiques.
• Directeur de thèse : M. Jean-Louis GIAVITTO
• Encadrant scientifique : M. Olivier MICHEL
• Lieu : équipe LIS du laboratoire IBISC, Université d'Évry-Val d'Essonne
• École doctorale : SITEVRY.
• Financement : allocation de recherche MENRT
• Rapporteurs :
  • M. Jacques MALENFANT (LIP6, Université Paris 6)
  • M. Przemyslaw PRUSINKIEWICZ (CPSC, Université de Calgary, Canada)
• Membres du jury :
  • M. Gaétan HAINS (président, LACL, Université Paris 12)
  • M. Roberto DI COSMO (PPS, Université Paris 7)
  • M. Pascal LIENHARDT (SIC, Université de Poitiers)
• Mention : Très honorable (les félicitations du jury ne sont pas attribuées en informatique par l'école doctorale SITEVRY).
• Prix : Accessit au prix de thèse ASTI 2007.

Télécharger le mémoire de thèse

2002 – 2003 : DEA AMIB (nouvellement Master IMBI). Application des Mathématiques et de l'Informatique à la Biologie, Université d'Évry-Val d'Essonne

• Mention : très bien, major de promotion
• Stage de DEA :
  • Titre : Typage et compilation de filtrage de chemins dans les collections topologiques
  • Encadrants : MM. Jean-Louis GIAVITTO et Olivier MICHEL
  • Lieu : équipe SPECIF du LaMI (nouvellement IBISC), Université d'Évry-Val d'Essonne

Télécharger le mémoire de DEA

2000 – 2003 : Ingénieur IIE (nouvellement ENSIIE). Institut d'Informatique d'Entreprise du Conservatoire National des Arts et Métiers

• Major de promotion
• Options :
  • Système d'exploitation et administration de RLE (2ème année) : architecture des processeurs, système d'exploitation, administration d'un RLE.
  • Programmation raisonnée (3ème année) : techniques de preuve et logique, sémantique des langages, analyse statique, conception formelle.
  • Conception et validation d'applications réactives (3ème année) : outils et sémantiques pour le parallélisme, langages pour les systèmes parallèles, systèmes réactifs temps réels.
• Stages :
  • 1ère année : Développement d'un intranet de gestion commerciale.
  • 2ème année : Analyse et développement d'un outil de chiffrement.
  • 3ème année : cf. stage de DEA.

1998 – 2000 : Classes Préparatoires aux Grandes Écoles filières MPSI / MP*. Lycée L. Thuillier, Amiens (80).

1980 : Baccalauréat Scientifique spécialité mathématiques. Mention Bien.

Expériences professionnelles

2003 : Stage de DEA et de 3ème année IIE.

• Sujet : Typage et compilation de filtrage de chemins dans des collections topologiques.
• Encadrement : MM. Jean-Louis GIAVITTO et Olivier MICHEL
• Lieu : projet MGS, équipe SPECIF du LaMI (nouvellement IBISC), Université d'Évry-Val d'Essonne
• Durée : 6 mois

2002 : Stage de 2ème année IIE.

• Sujet : Analyse et développement d'un outil de chiffrement et de signature électronique de fichiers client d'IDX-PKI.
• Lieu : Société IDEALX à Paris (7ème)
• Durée : 3 mois

2001 : Stage de 1ère année IIE.

• Sujet : Développement d'un intranet de gestion commerciale
• Lieu : Société ASKUS à Amiens (80)
• Durée : 10 semaines