Software Engineer - Libra Blockchain at Facebook
September 2014 to Present
Lausanne Area, Switzerland
December 2012 to September 2014
March 2012 to October 2012
Microsoft Research-INRIA Joint Centre
September 2007 to December 2011
January 2007 to July 2007
Paris Area, France
January 2006 to July 2006
Lausanne Area, Switzerland
University of Pennsylvania
June 2005 to August 2005
Greater Philadelphia Area
Contributing directly to Apache Spark, helping Spark Streaming to be more reliable in high-throughput situations. Helped build the Typesafe Spark distribution, based and tested on Apache Mesos. Delivers training for 'Fast Track to Scala' and Apache Spark Contributing directly to Apache Spark, helping Spark Streaming to be more reliable in high-throughput situations. Helped build the Typesafe Spark distribution, based and tested on Apache Mesos. Delivers training for 'Fast Track to Scala' and Apache Spark
I get a kick out of diving in a large-scale analytics project, and making it scale reliably, using the best modern architectures and custom, scalable algorithms. I'm the first ever developer to be certified for Apache Spark by O'Reilly and Databricks ! Specialties: distributed machine learning, functional programming, and best practices evangelismData Engineer @ Contributing directly to Apache Spark, helping Spark Streaming to be more reliable in high-throughput situations. Helped build the Typesafe Spark distribution, based and tested on Apache Mesos. Delivers training for 'Fast Track to Scala' and Apache Spark From September 2014 to Present (1 year 4 months) Lausanne Area, SwitzerlandSoftware Engineer @ Made the IDE use resources more sparingly, and improved the interactive interface with the Scala compiler. From December 2012 to September 2014 (1 year 10 months) Software Developer @ Implemented innovative pricing models at the heart of a high-frequency auction system, with live anomaly detection in C# on top. Both run distributed, at Internet-scale. From March 2012 to October 2012 (8 months) Doctoral researcher @ engineered and deployed methods for more scalable, more reliable generic programming in a large software project (>100k LoC) developed using a hybrid dependently-typed programming language/interactive theorem prover : Coq Project Lead : Georges Gonthier Advisor : Benjamin Werner From September 2007 to December 2011 (4 years 4 months) Research intern @ developed a reflection-based approach to analyzing reduction in an interactive theorem prover, with consequences to compiler theory and programming languages implementation. Advisor : Benjamin Werner From January 2007 to July 2007 (7 months) Paris Area, FranceResearch Intern @ explored and modeled the foundations of the type system of the Scala programming language. Project Lead and Advisor : Martin Odersky From January 2006 to July 2006 (7 months) Lausanne Area, SwitzerlandResearch Intern @ validated the approach of statically-typed XML manipulation in-language with a benchmark project for an extension of C# called Xtatic. Project lead and Advisor : Benjamin Pierce From June 2005 to August 2005 (3 months) Greater Philadelphia AreaPh. D., Computer Science @ Ecole polytechnique From 2007 to 2011 M. Sc., Computer Science @ Université Denis Diderot (Paris VII) From 2005 to 2007 B. Sc., Diplôme, Computer Science @ Ecole normale supérieure From 2004 to 2007 François Garillot is skilled in: Algorithms, Computer Science, OCaml, Programming, Distributed Systems, Machine Learning, Scala, Java, Functional Programming, Functional Support, Python, LaTeX, Software Development, Software Verification, Research
What company does François Garillot work for?
François Garillot works for Typesafe
What is François Garillot's role at Typesafe?
François Garillot is Data Engineer
What industry does François Garillot work in?
François Garillot works in the Computer Software industry.
Extraversion (E), Intuition (N), Feeling (F), Judging (J)
1 year(s), 4 month(s)
There's 85% chance that François Garillot is seeking for new opportunities
Enjoy unlimited access and discover candidates outside of LinkedIn
One billion email addresses and counting
Everything you need to engage with more prospects.
ContactOut is used by
76% of Fortune 500 companies