Work Experiences
PhD Student at ENSTA (EDX) & OCamlPro (Doctorant CIFRE)/ November 2011 – Present / Orsay (91), France
Study of OCaml programs’ memory behaviour. My research is focused on building tools to profile OCaml memory usage and to detect memory leaks.
Thesis supervisors : Michel Mauny (ENSTA), Fabrice Le Fessant (INRIA/OCamlPro) and Thomas Gazagnaire (OCamlPro).
Keywords: OCaml, Memory Leaks, Profiling, Garbage Collector, Region Inference/Analysis
R&D Intern at Dassault Systèmes / April 2011 – September 2011 (6 months) / Grenoble (38), France
Extension of a real-time modeling language for discrete-event systems.
Compilation team with Daniel Weil (tutor), Fabien Gaucher and Etienne Closse.
Keywords: OCaml, Synchronous, Multirate, Continous/Discretes/Hybrids event systems, Sampling, Compilation, Scheduler
R&D Intern at PPS Laboratory (Université Paris 7) / June 2010 – August 2010 (3 months) / Paris (75), France
Subject proposed for the Google Summer Of Code 2010: Study of the software components metadata for components repositories analysis : OSGi, Eclipse and GNU / Linux (Debian).
Mancoosi : Roberto Di Cosmo (tutor), Ralph Treinen, Stefano Zacchiroli, Pietro Abate, Jaap Boender, Jérôme Vouillon
Eclipse: Pascal Rapicault, Daniel Leberre
Keywords: OCaml, Java, Django, Eclipse, Metadata, CUDF, Converter, CNF, Solver
Mailman, December 2006 (15 days) / Viry-Châtillon (91), France
Bartender in a Bar/Tobacco/Hotel, 2004 – 2010, Combs-La-Ville (77), France
Education
PhD Student in Computer Science
Master's Degree in Computer Engineering (with High Honors)
Bachelor of Computer Science (with Honors)
Languages
Native Native Native Fluent Academic
Expertise
Programming Languages
OCaml
|
Java
|
(X)HTML/CSS
|
Coq
|
C
|
PHP
|
Lucid Synchrone, Lustre
|
C++
|
Javascript
|
Scala
|
Python
|
AJAX
|
Prolog
|
Bash
|
|
Oz (Mozart)
|
Working Knowledge
|
|
Links
OCaml
|
Laboratories & Projects
Others