2005-2009 : Thèse de doctorat de l'université Paris 7 « Programmer, calculer et raisonner avec les réseaux de la logique linéaire ».

2004-2005 : 2ème année du Mastère Parisien de Recherche en Informatique (MPRI), délivré par l'université Paris 7.

Cours de logique linéaire, modèles des langages de programmation, concurrence, programmation par contraintes, programmation fonctionnelle et systèmes de types, démonstration automatique, interprétation abstraite, preuves constructives.

2003-2004 : Maîtrise d'informatique à l'École Normale Supérieure de Lyon dans le cadre du MIM (Magistère d'Informatique et Modélisation). Mention Bien.

Cours de sémantique, automates cellulaires, compilation, algorithmique parallèle, projet logiciel, recherche opérationnelle, mobilité, programmation fonctionnelle et preuves, images, systèmes max-plus, systèmes dynamiques discrets.

2002-2003 : Licence d'informatique à l'École Normale Supérieure de Lyon. Mention Bien.

Cours de logique, décidabilité, programmation, algorithmique, unix, architecture, réécriture, graphes, systèmes complexes, modèles de calcul, systèmes d'exploitation, programmation orientée objet.

1999-2002 : Classes préparatoires MPSI puis MP* (option Informatique) au lycée Pierre de Fermat à Toulouse.

1999 : Baccalauréat scientifique, spécialité mathématiques.

2006-2009 : Thèse autour de la logique linéaire et des réseaux d'interaction, sous la direction de Thomas Ehrhard, PPS, Paris.

Développement et étude de calculs décrits par une réécriture parallèle et locale et fondés sur la notion de ressource qu'évoque la logique linéaire. Cette étude a servi de fondement théorique pour la réalisation d'un prototype de machine virtuelle qui permet l'exécution parallèle (sur plusieurs processeurs) de programmes écrits dans des langages fonctionnels.

Étude de systèmes proches incorporant les constructions de la logique linéaire différentielle (qui permet d'exprimer la notion de ressource épuisable).

2005 : Stage sur les thèmes sémantique et concurrence pour le calcul quantique, sous la direction de Vincent Danos, PPS, Paris.

2004 : Stage sur le thème de l'unification modulo équivalence observationnelle pour lambda-calcul simplement typé en sémantique d'appel par valeur, sous la direction de Joe Wells, équipe ULTRA, Heriott-Watt University, Edinburgh.

2003 : Stage sur le thème du contrôle de ressources dans le pi-calcul, sous la direction de Daniel Hirschkoff, équipe PLUME, LIP, ENS Lyon.

2009-2010 : ATER en Informatique à l'université Paris 7 (Programmation fonctionnelle avancée, Automates finis, Langage C, Projet programmation) .

2008-2009 : Monitorat en Informatique à l'université Paris 7. Langage C (24h de TD, 24h de TP) et Introduction à la programmation en Java (22h de TP).

2007-2008 : Monitorat en Informatique à l'université Paris 7. Projet programmation (48h de TP).

2006-2007 : Monitorat en Informatique à l'université Paris 7. Introduction à la programmation en Java (2 groupes de 42h de TP).

Langue maternelle.

Lu, écrit, parlé couramment.

Notions.

Linux (Unix) et Windows.

OCaml, Coq (Assistant de preuve), C/C++, Java, Shell, SQL, (La)TeX, xml, (x)html…

J'utilise et participe autant que je peux au développement de logiciels libres.

Escalade, sorties roller, divers sports collectifs, randonnées en montagne, ski…

Le go est un jeu de réflexion d'origine chinoise. Mon niveau est approximativement celui de 3è kyu sur l'échelle de la Fédération Française de Go.

À cette occasion, j'organise chaque année avec l'aide de quelques collègues un atelier « baptême de programmation » destiné aux petits et aux grands qui souhaitent découvrir la programmation.