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), France
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è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 in Computer Science (Highest Honors)
Master's Degree in Computer Engineering (Highest 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)
|