Resume

Expérience Professionnelle

Décembre 2005 - ...

Installer et administrer les serveurs de l'équipe, en collaboration avec les ingénieurs système du laboratiore.
Participer au développement du système de preuve formelle Coq.
Mener des activités de recherche scientifique en collaboration avec les membres de l'équipe TypiCal

Septembre 2003 - Septembre 2004

Attaché Temporaire à l'Enseignement et à la Recherche à l'IUT Nancy Charlemagne

Former des étudiants à l'algorithmique et à la programmation (C, Java) ;
Rédiger ma thèse de doctorat, ainsi que des articles scientifiques (en anglais) ;
Assurer la veille technologique sur mon domaine d'étude : les outils logiques pour la spécification et la vérification formelles.

Octobre 2002 - Août 2003

Attaché Temporaire à l'Enseignement et à la Recherche à l'Université Henri Poincaré (Nancy)

Assurer la conception et l'enseignement du module "Systèmes d'Exploitation" en 2ème année de l'IUP Mathématiques-Informatique
Participer au développement d'un démonstrateur automatique de théorèmes (écrit en OCaml) ;
Poursuivre mes travaux de recherche et la diffusion des résultats.

Octobre 1999 - Septembre 2002

Moniteur et Allocataire de Recherche à l'Université Henri Poincaré (Nancy)

Participer à l'enseignement de l'algorithmique et de la programmation par objets (Eiffel, Java) en Licence d'informatique et DESS "Informatique Double Compétence" ;
Mener des recherches scientifiques dans mon domaine d'étude ;
Rédiger des articles scientifiques et présenter mes résultats de recherche dans des conférences internationales (présentations écrites et orales).

2004: Doctorat en Informatique de l'Université Henri Poincaré (Nancy 1) sur le sujet "Recherche et construction de preuves en logique non-commutative"; Développement d'outils logiques pour la spécification et la vérification formelles de systèmes concurrents ou distribués.
1999: Diplôme d'Études Approfondies Informatique, Université Henri Poincaré (Nancy 1), mention Bien; Logique et théorie des types; spécification algébrique; programmation parallèle et calculs de processus; programmation par contraintes; systèmes à base de connaissances; reconnaissance automatique de la parole.
1998: Maîtrise d'Informatique de l'Université Henri Poincaré (Nancy 1), mention Assez Bien; Compilation; conception de logiciels (UML, Merise); Réseaux; systèmes d'exploitation; modèles de calcul ($\lambda$-calcul, complexité); recherche opérationnelle.
1997: Licence d'Informatique de l'Université Henri Poincaré (Nancy 1); Algorithmique et programmation (Eiffel, C); bases de données (SQL); technologie des ordinateurs (assembleur 68000); logique et langages formels; calcul scientifique.
1996: Mathématiques Supérieures et Spéciales au lycée Henri Poincaré (Nancy)
1994: Baccalauréat Général Scientifique (série C) au lycée Jacques Callot, Vandoeuvre (54)

Systèmes d'exploitation: Linux (très bonne connaissance), FreeBSD (bonne connaissance), Windows 98/XP ;
Langage de script : Python (bonne connaissance), PHP, Javascript (connaissances de base), sh et outils systèmes Unix (très bonne connaissance) ;
Langage de programmation : OCaml, Java, Eiffel, C ;
Base de données : SQL, Administration MySQL/PostgreSQL ;
Méthodes de développement : Merise, UML.