Didier Le Botlan — CV (février 2007)

État-civil

31 ans, marié, deux enfants.

Domaine de recherche

Sémantique des langages de programmation, Typage, Aspects, Concurrence.

Formation et Recherche

Septembre 2006 – 

Maître de conférences à l'INSA de Toulouse et chercheur au LAAS dans le groupe OLC.

2005 – 2006

Post-doc CNRS-Région à l'Ecole des Mines de Nantes, dans l'équipe OBASCO (LINA) dirigée par Pierre Cointe. Formalisation des aspects, participation au réseau d'excellence européen AOSD sur les aspects.

2004

Post-doc à l'Université de Saarbrücken (Allemagne), dans l'équipe Programming Systems Lab dirigée par Gert Smolka.

• Participation au développement de Alice, langage fonctionnel axé sur la programmation par composants, la concurrence et la programmation par contraintes.
• Implémentation et formalisation d'un solveur de contraintes distribué.
• Implémentation d'un outil interactif pour l'inspection dynamique des programmes.

2000 – 2003

Thèse à l'INRIA Rocquencourt, dans le projet CRISTAL.
Titre: MLF, une extension de ML avec polymorphisme de second ordre et instanciation implicite.
Mention très honorable (seule mention autorisée par l'Ecole Doctorale). Thèse soutenue le 6 mai 2004, à l'École Polytechnique.
Le jury était composé de:

Jury de ma soutenance de thèse

Directeur de thèse	Didier Rémy	INRIA Rocquencourt
Rapporteurs	Benjamin Pierce	Université de Pennsylvanie, USA
	Jacques Garrigue	Université de Kyoto, Japon
Président	Roberto Di Cosmo	Université Paris 7
Examinateurs	Claude Kirchner	INRIA Lorraine
	Dale Miller	Ecole Polytechnique

Ce travail apporte une réponse à un problème étudié depuis une vingtaine d'années, mais pour lequel aucune solution satisfaisante n'avait été proposée. La difficulté principale provient de l'indécidabilité de l'inférence du polymorphisme de second ordre. MLF est une nouvelle théorie, sortant du cadre connu, qui a l'avantage d'être décidable. Un algorithme, prouvé correct et complet, est implémenté.

1998 – 2000

DEA en informatique : Sémantique, Preuves et Programmation (Université Paris 7), mention très bien.

1998 – 2000

ENST (Télécom Paris) Ecole Nationale Supérieure des Télécommunications

• Dominantes Informatique et Réseaux, option Systèmes Informatiques.
• Implémentation d'un outil pour le traitement du langage naturel à l'aide d'arbres adjoints.
• Travail personnel sur la monnaie électronique (cryptographie).

1996 – 1998

École Polytechnique

• Cours de mathématiques, physique quantique, biologie moléculaire, mécanique du solide.
• Majeures d'informatique et d'électronique numérique.
• Travail expérimental : réalisation en binôme d'un micro-processeur 16 bits complet et d'une carte vidéo sur un FPGA (circuit programmable), au niveau de la porte logique. J'ai de plus écrit un assembleur en Caml pour ce processeur, qui nous a servi à compiler une application graphique. Des détails et des photos sur la page de Stéphane Gourichon.
• Stage de 3 mois au Laboratoire de Recherche en Informatique (Orsay) : implémentation du renommage de registres dans le simulateur de processeur ASF (C++).

1995 – 1996

École militaire de Saint-Cyr (Coëtquidan). Affectation à Cambrai, grade d'aspirant.

1993 – 1995

Lycée Clémenceau, Nantes. Mathématiques supérieures et spéciales (M').

Enseignement et expérience professionnelle

2005	Université de Nantes. 3H de cours en Master 2 Architectures Logicielles Distribuées.
2005	Ecole des Mines de Nantes. 40 heures de TD, TP, et corrections des évaluations.
2005	Qualification aux fonctions de maître de conférences – Section 27 (date : 28 Jan 2005).
2001 – 2002	Vacations à l'Ecole Polytechnique (niveau 2ème année). 130 heures de TP de Java.
2001	Monitorat à l'Université Paris 7, niveau DEUG. 84 heures de TD et TP.
2001	Vacations à l'Ecole Polytechnique (niveau 1ère année). 50 heures de TP de Java.
1999	Stage de cinq mois chez Sun Microsystems (Menlo Park, Californie). J'y ai conçu un langage de modélisation utilisé pour décrire des stations de téléphonie mobile. Par analyse markovienne du modèle, le logiciel en déduit la disponibilité moyenne et les chaînes d'évènements qui ont conduit à la panne la plus critique.

Autres Intérêts

Je suis particulièrement intéressé par les mécanismes de la biologie moléculaire, ainsi que par la simulation de la vie artificielle. J'aime également découvrir la préhistoire et les civilisations antiques.

Compétences informatiques

OCaml, Scheme, Lisp, Java, C, LaTeX, assembleur, PHP, Ada, C++, Fortran, HTML. Administration système sous Unix (linux). Versioning (CVS, SVN). Cryptographie (GnuPG).

Langues

Français (langue maternelle), Anglais (courant), Allemand (notions), Espagnol (notions)