Work Experiences

CEO at Functori / February 2021 – Present / Paris (75), France. 

CTO at Origin Labs / June 2019 – February 2021 / Paris (75), France

Senior R&D Engineer at OCamlPro /  December 2014 – June 2019 / Paris (75), Franceocamlpro-200x200

PhD Student at ENSTA (EDX) & OCamlPro (Doctorant CIFRE)/ November 2011 – December 2014 / 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è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
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 in Computer Science (Highest Honors)

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

Master's Degree in Computer Engineering (Highest 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)