Ingénieur logiciel expert, passionné par les systèmes à grande échelle répondant par le calcul aux problèmes d'aujourd'hui.
Mes compétences :
SQL
Informatique
Java Platform
Linux
Entreprises
Facebook
- Software Engineer
Paris2018 - maintenantLibra R&D
Skymind, Inc
- Ingénieur en Deep Learning
2017 - 2017
Skymind Inc.
- Deep Learning Engineer
2017 - 2017
Swisscom
- Big Data Scientist
2015 - 2016Étude de la mobilité des populations au sein du territoire Suisse, en particulier concepteur et implémenteur principal de la mesure de la vitesse de déplacement sur des chemins d'intérêt (routes).
Utilisateur et contributeur d'Apache Spark et de ses projets "open source" tributaires (Spark notebook, ADAM, ...)
Lightbend (anciennement Typesafe, Inc.)
- Big Data Engineer
2014 - 2015Contribue directement à Spark Streaming pour le rendre plus fiable dans les déploiements impliquant de hauts débits de données (back-pressure). A contribué à la création de la distribution Apache Spark de Lightbend (anc. Typesafe) et Mesosphere, testée et développée pour Apache Mesos.
Délivre des formations professionnelles pour Scala (Fast Track to Scala) et Spark.
2012 - 2014Ai rendu l'IDE Scala plus parcimonieux en usage de ressources, et ai étendu l'interface avec le compilateur Scala (support de plusieurs niveaux de source du langage, interactivité, documentation)
Criteo
- Software Developer
PARIS2012 - 2012Ai implémenté plusieurs modèles de prix innovants au coeur d'un système d'enchères à haute fréquence, et une détection d'anomalies en temps réel - le tout à l'échelle d'Internet.
École Polytechnique
- Stagiaire de Recherche
91128 PALAISEAU Cedex2007 - 2007développement d'une stratégie de réflection pour étudier la réduction d'un calcul via normalisation par évaluation, applications à l'étude de la méta-théorie des langages de programmation.
Résultats présentés à la conférence TPHOLs 2007
Encadrant : Benjamin Werner
INRIA
- Doctorant
Le Chesnay2007 - 2011Ai développé et déployé des méthodes de programmation générique sûre et passant à l'échelle dans un large projet de certification (>100k LoC). Ai contribué à avancer l'état de l'art du développement à l'aide d'un hybride entre assistant de preuve interactif et langage de programmation à types dépendants : Coq.
Chef de projet : Georges Gonthier
Encadrant : Benjamin Werner
Éducation Nationale
- Vacataire
Paris2006 - 2009Ai développé et enseigné la pratique de cours sur les fondmentaux de l'algorithmique et des langages de programmation, au sein de deux équipes éducatives, développant à chaque fois une collaboration de longue durée:
- en classe préparatoire MP au lycée Louis Le Grand, Paris (Pr. Éric Leborgne, langages OCAML, Maple)
- en seconde année de cycle ingénieur, à l'École Polytechnique (INF421, Pr. Philippe Baptiste, langage JAVA)
École Polytechnique Fédérale de Lausanne
- Stagiaire de Recherche
2006 - 2006Ai investigué et modelé le système de types du langage Scala.
Résultats présentés à la conférence MFCS (Stará Lesná, Slovakia)
Chef du projet et encadrant : Martin Odersky
University of Pennsylvania
- Stagiaire de Recherche
2005 - 2005Ai validé l'approche du traitement de XML statiquement typé dans un projet d'extension des primitives du langage C#, Xtatic.
Résultats du développement d'un benchmark présentés à la conférence Plan-X 06 (Charleston, SC, USA)
