Work Experiences

PhD Student at ENSTA (EDX) & OCamlPro (Doctorant CIFRE)/ November 2011 – Present / Orsay (91), France

OCamlProStudy 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 ThomasENSTA-ParisTech Gazagnaire (OCamlPro).

Keywords: OCaml, Memory Leaks, Profiling, Garbage Collector, Region Inference/Analysis

R&D Intern at Dassault SystèmesApril 2011 – September 2011 (6 months) / Grenoble (38), France

Dassault SystèmesExtension of a real-time modeling language for discrete-event systems.

Compilation team with Daniel Weil (tutor), Fabien Gaucher and Etienne Closse.
C/C++

OCaml

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 Eclipse
OCaml

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

ENSTA & OCamlPro
2011 - 2014 (whished)
Study of OCaml programs’ memory behaviour.

Master's Degree in Computer Engineering (with High Honors)

Université Paris Diderot - Paris 7
2009 - 2011
 Languages and Programming

Bachelor of Computer Science (with Honors)

Université Paris Diderot - Paris 7
2006 - 2009
 

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

  • Emacs
  • Eclipse
  • CodeBlocks
  • Gimp (intermediate)
  • MS Office / LibreOffice
  • Debian, Windows (xp, 7) & MacOS X

Links

OCaml

Laboratories & Projects

Others