Général

Expériences professionnelles

2006-??? Membre fondateur de l'association Debian France.
Secrétaire de l'association.
2005-??? Développeur Debian
avril-septembre 2004 Stage de recherche dans l'équipe MOSCOVA à l'INRIA Rocquencourt
plus de détails
avril-aout 2003 Stage de recherche dans l'équipe MOSCOVA à l'INRIA Rocquencourt
Travail sur le garbage collector distribué de JoCaml
2002-??? Membre de l'association Polytechnique.org
2000-2001 Officier Fusillier Commando de l'Armée de l'Air Française

Scolarité

2005-??? Ingénieur R&D
Intersec SAS
2004-2005 Thèse « sémantique des langages distribués en présence de pannes »
INRIA Rocquencourt - Équipe MOSCOVA
2003-2004 4° Année École polytechnique :
DEA Sémantique Preuves et Langages (Paris VII)
2000-2003 Scolarité à l'École Polytechnique
1998-2000 Classes préparatoires (MPSI, MP*) au Lycée du Parc (Lyon)
1991-1998 Etude de 1° cycle au Lycée Antoine de St Éxupéry (Lyon)

Diplômes obtenus

2004 Diplôme d'ingénieur de l'École Polytechnique +
DEA de Programmation (mention Bien)
1998 Baccalauréat Série S, spécialité mathématiques
Mention Très Bien

Langues

Allemand Très bon (écrit, lu, parlé)
(ZMP mention befriedigend obtenu en 2002)
Anglais Bon (écrit, lu, parlé)
(TOEFL obtenu en 2004, Note: 260/300)

Compétences informatiques

Plateformes Linux, Windows, un peu FreeBSD
Langages C, C++, PHP, OCaml, Java, Pascal (Delphi), Perl, Python, Assembler (x86 et 68k), shell (bash/sh/zsh)
Bibliothèques Bonne maitrise de Qt et des bibliothèques de KDE
Compétences administration système, développement web, programmation système, ...