Brussels / 3 & 4 February 2018


Yannick Moy

Photo of Yannick Moy

Yannick Moy is a Senior Software Engineer at AdaCore and co-director of the ProofInUse joint laboratory. At AdaCore, he works on software source code analyzers CodePeer and SPARK, aiming either at detecting bugs or at verifying safety/security properties. Yannick leads the developments of SPARK 2014, a product he presents in articles, conferences, classes and blogs (in particular Yannick previously worked on source code analyzers for PolySpace (now The MathWorks) and at Université Paris-Sud.


Title Day Room Track Start End
SPARK Language: Historical Perspective & FOSS Development Saturday AW1.125 Ada 15:00 15:50