Jun 2023 – Jul 2024 · 1 yr 1 mo · Ville de Paris, Île-de-France, France

May 2023 – Jan 2025 · 1 yr 8 mos · Ville de Paris, Île-de-France, France · Remote

• I have coached Directors of Engineering at Tarides.

May 2022 – Apr 2023 · 11 mos · Ville de Paris, Île-de-France, France · Hybrid

• Hired to build a new division ex nihilo, I grew a team from zero to more than a tenth until November when the company switched gear and started to actually reduce its number of employees.
• My division was cut and some topics merged into sister divisions.

Nov 2021 – Apr 2022 · 5 mos · Ville de Paris, Île-de-France, France · On-site

• Led a team of 12: data and software engineers, and AI researchers.
• Unfortunately, the company ran out of money to pay the team.

Mar 2020 – Oct 2021 · 1 yr 7 mos · Paris, Ile-de-France, France

• As CTO and head of a 65+ people tech organisation, I supported teams from network engineering to AI research, through backend and web engineering.
• Member of the comex.

Nov 2018 – Feb 2020 · 1 yr 3 mos · Paris Area, France

• March 26th, 2020: we shutdown the platform.
• For a little more than a year, my cofounder and tried hard to get our idea to take off. We learnt a lot on the way.

Feb 2017 – Nov 2018 · 1 yr 9 mos

• I managed the Hack Compiler team at Facebook.
• I tech led the creation of HackC (from 2 to 13 engineers over the first semester) in OCaml.
• Our main achievement during that year was to revamp the Hack compiler and ship it to production within a year... better architecture, better performances, less code... and no user felt a thing when we pulled the tablecloth ^^
• Most of our source code:
• https://github.com/facebook/hhvm/tree/master/hphp/hack
• In March 2018, i started building a team of research engineers on "Programming Languages and Tools" for Facebook. It is now called the FLaRe team: Facebook Language Research team:
• https://research.facebook.com/videos/a-look-at-facebook-languages-research-paris/

Apr 2016 – Feb 2017 · 10 mos

• In November '16, I joined the Hack Compiler team. See http://hacklang.org/
• After joining Facebook, from April '16 to October'16, I worked in the geoloc team, and built several webapps, full stack, to gather and help analyse measurement data.

Jul 2014 – Apr 2016 · 1 yr 9 mos · Paris Area, France

• I led one of the team working on the Music Universal Windows App.
• Before that, I led the 'personalized discovery'​ team for the upcoming windows 10 store on the web for movies and TV, and music:
• Released July 29, 2015:
• https://www.microsoft.com/store/music
• https://www.microsoft.com/store/movies-and-tv

Sep 2011 – Jun 2014 · 2 yrs 9 mos · Paris Area, France

• Jan. 2014 - Jun. 2014
• I was a software engineer for Xbox Video.
• Jan. 2013 - Dec. 2013
• I was a software engineer on Android for Xbox Music
• https://play.google.com/store/apps/details?id=com.microsoft.xboxmusic
• Sep. 2011 - Dec. 2012
• I was a software engineer for xbox.com

Aug 2010 – Aug 2011 · 1 yr · Paris

• OCaml, Opa (and a bit of bash) for distributed web services.

Sep 2008 – Aug 2010 · 1 yr 11 mos

• I taught "Principles of Programming Languages" in Gilles Dowek's team of teacher assistants.

Aug 2008 – Aug 2010 · 2 yrs

• I joined the R&D PLM core group at Dassault Systèmes HQ in Paris in august 2008. Since that time, and for the next two years, I had been working on memory models (defining a new language, PLM-oriented, to manipulate persistent and volatile objects) and a query language for a graph-based database.
• Results of this works were implemented in a C++-dialect and shipped within V6 products of Dassault Systèmes (CATIA, DELMIA, ENOVIA and SIMULIA).

Jan 2006 – Jun 2006 · 5 mos

• "Software Analysis, Design, and Validation".

Jan 2005 – Jun 2008 · 3 yrs 5 mos

• I designed and developed a solution to the debugging of highly optimized code in the context of embedded systems. My experiments were run on ST-MMDSP+, a VLIW-DSP processor.
• subject: Code optimization and generation, Debug Information Conception and validation of a method for the non-transparent debugging of optimized code
• Analysis of the set of modules and optimizers (>100) provided by the MMDSP+ C Compiler
• Instrumentation of optimizers in C, C++ and CoSy-C, instrumentation of the compiler e.g. dead code elimination, common subexpression elimination, code sinking and hoisting, table access to pointer arith., hardware loop rewriting, loop reversal, software-pipelining
• Implementation of extensions to debugger MI and CLI in C++
• Design of the corresponding Eclipse Plug-in developed by the IDTEC Team at STMicroelectronics

Sep 2002 – Jun 2003 · 9 mos

• I worked on 'mutual exclusion' with E. Allen Emerson. I implemented (Java) a translator "in-house graph representation to NuSMV".