Menu

François GARILLOT

Paris

En résumé

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

    Paris 2018 - maintenant Libra 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 - 2015 Contribue 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.
  • Lightbend (anciennement Typesafe, Inc) - Software Developer

    2012 - 2014 Ai 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

    PARIS 2012 - 2012 Ai 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 Cedex 2007 - 2007 dé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 Chesnay 2007 - 2011 Ai 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

    Paris 2006 - 2009 Ai 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 - 2006 Ai 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 - 2005 Ai 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)

    Chef du projet et encadrant : Benjamin C. Pierce

Formations

Réseau

Annuaire des membres :