Expérience personnelle

1998 : stage de DEA dans l'équipe Compose de l'Irisa (autour de l'évaluation partielle, la compilation optimisante et l'architecture des processeurs)

été 1997 : stagiaire dans l'équipe Imadoc de l'Irisa (développement en C++ et en lambda-prolog)

été 1996 : développeur en langage C à France Télécom

été 1995 : hôte de caisse dans un supermarché

06/1998 : obtention du diplôme d'ingénieur informatique Insa

1997/1998 : DEA d'informatique à l'université de Rennes I

de 1995 à 1998 : formation d'ingénieur informatique Insa

formation théorique :

théorie des graphes, théorie des grammaires et des langages, structure de données, base de données, compilation, compilation optimisante, évaluation partielle, architecture des microprocesseurs, système, image numérique, infographie, programmation fonctionnelle, programmation logique, communication orale homme-machine, programmation parallèle, système réparti

formation pratique :

C, C++, Perl, Java, Pascal, assembleur, SQL, VRML, TCP/IP, shells, HTML, PostScript, Scheme, Caml, PrologIII, lambda-prolog, UNIX, Linux, NT, méthode OMT, PVM, CSP, Microsoft Visual C++, Python

anglais : lu, écrit et parlé couramment

permis de conduire

BAFA

sports pratiqués : badminton, natation

lecture (science-fiction)