Travaux
Stages
- Peut-on juger sans papier ? Dématérialisation de la chaîne pénale. (Février -- Juin 2007)Mémoire réalisé pour le compte du Ministère de la Justice sur la problématique de la dématérialisation de la chaîne judiciaire, et plus particulièrement de la chaîne pénale.
- Amélioration de la création de paysages dans Carrara. Stage Ingénieur chez DAZ à Mountain View, CA. (Septembre 2006 -- Janvier 2007)Le rapport n'est pas disponible car confidentiel.
- Codage de la logique polymorphe multi-sortée dans la logique du premier ordre sans sortes. Stage de Master 2 dans l'équipe Démons. (Mars 2006 -- Août 2006)Pour plus de détails, voir la section Recherche .
- Travail sur le projet Harmony et son intégration dans Unison. Stage d'option scientifique réalisé au CIS de l'Université de Pennsylvanie (Philadelphie, PA). (Avril 2005 -- Août 2005)
Projets
ENST + Master MPRI
- Réalisation d'une tactique de dérivation formelle en Coq.Dans ce projet de validation du cours d'assistant de preuves au MPRI, on définit une dérivation formelle pour certaines classes de fonctions sur les réels, ces dérivées sont prouvées dans le système Coq et une tactique correspondante est implémentée dans le langage de tactiques Ltac. Le rapport est disponible en pdf, et les sources Coq sont dans cette archive.
- Un solveur de SuDoku avec le solveur de contraintes de Prolog.Ce projet de quelques heures faisait partie du cours de Programmation par contraintes du MPRI. Il est disponible dans cette petite archive.
- Quid, une application qui génère des questions à partir d'affirmations.Quid était notre projet pour le cours de traitement du langage. Nous avons étudié la formation des questions (en français) dans le cadre de la théorie linguistique du gouvernement et du liage, et avons implémenté une application (en OCaml) qui, étant donné une phrase affirmative, peut générer des questions sur les différents composants de la phrase. Notre programme génère les arbres syntaxiques correspondants et peut traiter les formes passives, les verbes transitifs et intransitives, etc. Le rapport est disponible en pdf, ainsi que les slides de présentation. L'ensemble (avec les sources OCaml/Gtk incluses) peut également être téléchargé dans cette archive.
- Interconnexion d'un éditeur graphique (Dia), à une suite d'outil servant à manipuler le langage AADL (Ocarina).Ce projet a été réalisé dans le cadre d'un cours sur la gestion de projet logiciel à l'ENST, et fait partie d'un projet de plus grande envergure, PolyORB
, conduit en partie à l'ENST.
- Travail en équipe sur le financement des logiciels libres.Le rapport est disponible en pdf.
3ème année de l'Ecole Polytechnique
- Réalisation d'un processeur MIPS 32bits sur FPGA.Ce projet était un cours spécial que nous avons choisi pour approfondir le cours d'architecture des ordinateurs. Nous avons utilisé des FPGA pour implémenter un microprocesseur MIPS32 complètement fonctionnel, ainsi que tout ce dont nous avions besoin pour réaliser une super démo (un contrôleur VGA, le contrôle les périphériques d'entrée, etc, toujours sur FPGA!). Je souhaite remercier Marek pour sa maîtrise de ces sujets car j'ai beaucoup appris grâce à lui.
Le rapport est disponible en pdf, ainsi que les slides de présentation. - Rendu 3D de forêts d'arbres en temps réel.Ce projet a été réalisé à l'occasion du cours d'image de synthèse de Nicolas Holzschuh. Nous avons implémenté notre propre raytracer ainsi qu'un modèle d'arbre en C++/OpenGL afin de rendre un certain nombre de billboards pour des directions de vue et de lumière différentes. Nous avons ensuite utilisé ces billboards pour effectuer un rendu temps-réel de forêts.
Les slides de présentation sont disponibles.
2ème année de l'Ecole Polytechnique
- XQuake : Un quake-like rigolo en Java.Nous avons réalisé ce projet rigolo dans le cours d'informatique de Jean-Jacques Lévy. Le but était d'utiliser une librairie de dessin 2D de Java la plus basique qui soit (AWT) et de programmer un mini moteur 3D basé sur des arbres BSP. Les pingouins et JJL ont été ajoutés pour le fun :-)
Le rapport est disponible en pdf, ainsi que les slides de présentation. - Etude de l'intégration d'éoliennes dans le réseau électrique français. Projet Scientifique Collectif.Le rapport (plutôt long) est disponible en pdf.
En classes préparatoires
- Evolution d'une colonie de fourmis par algorithme génétique. TIPE.Pas de rapport disponible puisque tout ce travail a été irrémédiablement perdu lorsque mon disque dur a grillé à l'été 2002...