-
Université Paris Diderot - Paris 7
- Maître de conférence
Paris
2008 - maintenant
-
Université Paris 7
- Enseignant
2004 - 2007
TD/TP pour les cours :
- informatique fondamentale en Java en Licence1 ;
- structure de données et programmation en C en Licence2;
- analyse syntaxique et compilation en Licence3.
Cours :
- langage de scripts (Python) en Licence2.
-
INRIA
- Doctorant en informatique
Le Chesnay
2004 - 2007
Thèse : "Programmation Certifiée".
- Formalisation, implémentation et publications scientifiques autour d'un langage de programmation intégrant la vérification de conformité aux spécifications.
- Formalisation, implémentation et publications scientifiques sur une extension d'un langage de programmation existant : les types algébriques généralisés dans ML.
- Conception et publication d'un générateur d'analyseur syntaxique.
-
ENST
- Stagiaire élève-ingénieur en informatique
2003 - 2003
Conception et implémentation d'un système de transcription graphème-phonème (synthèse vocale).
- Formalisation et implémentation d'un langage de programmation dédié et de son environnement d'exécution.
- Implémentation de règles pour la diction du français.
-
F2i
- Formateur
2003 - 2003
Cours introductif aux spécifications formelles.
Durée : 1 semaine.
Audience : ingénieur en formation continue.
-
EPITA
- Stagiaire élève-ingénieur en informatique
Villejuif
2003 - 2003
Conception et implémentation d'un classifieur automatique de documents.
- Innovation à l'aide d'outils de la recherche en traitement d'images et classification automatique (morphologie mathématique, théorie des croyances).
- Implémentation du système en C++.
Autre mission : publications scientifiques dans le domaine du calcul scientifique générique.
-
EPITA
- Enseignant
Villejuif
2002 - 2007
Cours :
- introduction à la programmation fonctionnelle en 2002 pour les élèves ingénieurs de première année.
- introduction à la théorie des types en 2006 et 2007 pour les élèves ingénieurs de troisième année.
-
ENST
- Stagiaire élève-ingénieur en informatique
2001 - 2001
Conception et implémentation d'un système générique de manipulation d'automates finis en C++.
- Développement d'un nouveau Design Pattern pour la programmation générique.
- Implémentation d'algorithmes génériques et de structures de données efficaces.
-
Verdier SA
- Responsable informatique
2000 - 2000
Optimisation de l'utilisation de l'informatique dans la société.
- Administration système ;
- Formation des employés ;
- Développement de logiciels améliorant la productivité.
