Work
This section regroups all various internships and school projects I have accomplished since 2001 (most are in french, though ^^).
Internships
- Peut-on juger sans papier ? Dématérialisation de la chaîne pénale. (February -- June 2007)This work has been done for the French Ministry of Justice and deals with the problematic of dematerialization of the acts and procedures within the judiciary system.
- Improving several apsects of the landscape creation in Carrara. Internship as engineer at DAZ in Mountain View, CA. (September 2006 -- January 2007)The report is confidential, therefore not available.
- Codage de la logique polymorphe multi-sortée dans la logique du premier ordre sans sortes. Master's internship in the Démons team. (March 2006 -- August 2006)For more details, see the Research section .
- Work on the Harmony project and its integration into Unison. Research Internship at the CIS of the University of Pennsylvania (Philadelphia, PA). (April 2005 -- August 2005)
Projects
ENST + Master MPRI
- Realization of a reflexive tactic of formal derivation in the Coq proof assistant.This was the validation project for the proof assistant class at the MPRI. It defines formal derivation for some classes of functions on reals, the derivatives are formally proved and a corresponding tactic is implemented in Ltac. The report is available in pdf, and the Coq sources are in this archive.
- A SuDoku solver using the Constraint solver of GNU/Prolog.This 3-hour project was part of the Constraint Programming class at the MPRI. It is available in this tiny archive.
- Quid, an application making questions out of affirmative sentences.Quid was our project for the natural languages' processing class. We studied the formation of questions (in french) with the linguistic theory of government and binding and we implemented an application (in OCaml) that, given an affirmative sentence, can generate questions about different components of the sentence. Our program generates the corresponding syntactic tree and handles passive forms, transitive and intransitive verbs, etc. The report is available in pdf, and the presentation slides too (both are in french). Everything (sources in OCaml/Gtk included) can also be downloaded in this archive.
- Interconnexion of a graphical editor (Dia) and the Ocarina toolbox for manipulating AADL (Architecture Analysis & Design Language).This project was realized in a project management class at the ENST, and is part of the broader project PolyORB
partially conducted at the ENST.
- Team study of the funding of free software.The report is available in pdf, in french.
Ecole Polytechnique, 3rd year
- Realization of a MIPS32 processor on FPGAs.This project was a special course we took to go further into Architecture and Computer Design. We used FPGAs to implement a fully functional MIPS32 processor, plus everything needed to make a great demo (a VGA display controller, input devices, etc, always on FPGA!). I have to thank Marek for his expertise on this topic because I learned a lot thanks to him.
The report is available in pdf, and the presentation slides too (both are in french). - Fast real-time 3D rendering of a forest of trees.This project was part of Nicolas Holzschuh's course on Image Synthesis. Using C++/OpenGL, we implemented our own raytracer and tree object models to render billboards of pine trees in several view and light directions. We then used these billboards to render forests in real-time.
The presentation slides are available (in french).
Ecole Polytechnique, 2nd year
- XQuake: A funny quake-like in Java.We did this funny project in Jean-Jacques Lévy's computer science course. Our goal was to use a very basic 2D API (namely, AWT) in order to code a 3D engine based on BSP trees, and finally hack up a small Quake-like game using this engine. We added penguins and JJL for fun :-)
The report is available in pdf, and the presentation slides too (in french, but with pictures !). - A one-year study of the effects of integrating windpower plants in France's electrical network. One-year team project.The (quite long) report is available in pdf (in French).
In "classes prépas"
- Evolution of ant colonies by a genetic algorithm. One-year project.No report is available since this work has been irremediably lost when my hard drive died in the summer of 2002...