Yannick led the three-year project Hi-Lite, leading to the new version of SPARK known as SPARK 2014, a product he proudly presents in articles, conferences, classes, and blogs (in particular www.spark-2014.org). Yannick previously worked on source code analyzers for PolySpace (now The MathWorks) and at Université Paris-Sud.