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 |
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) |
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 |
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) |
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, ... |