François Garillot

François Garillot

Big Data Scientist, Swisscom

Développe son réseau professionnel
 

En poste chez Facebook

Précédents : Skymind Inc., Skymind, Inc, Swisscom, Lightbend (anciennement Typesafe, Inc.), Lightbend (anciennement Typesafe, Inc), Criteo, INRIA, Éducation Nationale, École Polytechnique, École Polytechnique Fédérale de Lausanne, University of Pennsylvania

 

Précédents : Ecole Polytechnique, Université Paris 7 Denis Diderot, Ecole Normale Supérieure

 

    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.

Parcours

Deep Learning Engineer

Chez Skymind Inc.

De février 2017 à décembre 2017
 

Ingénieur en Deep Learning

Chez Skymind, Inc

De février 2017 à décembre 2017
 

Big Data Scientist

Chez Swisscom

De septembre 2015 à décembre 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 ...
Lire la suite
 

Big Data Engineer

Chez Lightbend (anciennement Typesafe, Inc.)

De septembre 2014 à juillet 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 ...
Lire la suite
 

Software Developer

Chez Lightbend (anciennement Typesafe, Inc)

De décembre 2012 à septembre 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)
 

Software Developer

Chez Criteo

De mars 2012 à octobre 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.
 

Doctorant

Chez INRIA

De 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 ...
Lire la suite
 

Ecole Polytechnique, Palaiseau

Informatique, Ecole Doctorale - Filière Mathématique et informatique

De 2007 à 2011
 

Vacataire

Chez Éducation Nationale

De 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, ...
Lire la suite
 

Stagiaire de Recherche

Chez École Polytechnique

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
 

Stagiaire de Recherche

Chez École Polytechnique Fédérale de Lausanne

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
 

Stagiaire de Recherche

Chez University of Pennsylvania

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
 

Compétences

 
  • Informatique
  • Java Platform
  • Linux
  • SQL

Langues parlées