I am based in Seattle, where I work on block chains. I received a PhD from École Polytechnique in 2011, participating in the mechanization of the Feit-Thompson theorem. I’m a contributor to Scala and Apache Spark, and am more recently the co-author of Stream Processing with Apache Spark, to be published soon now™ by O’Reilly.


Leveraging programming languages to make computation safer and simpler to express, wielding formal methods, more specifically type systems and mechanized proof