Yannick Moy
![Photo of Yannick Moy](/2018/schedule/speaker/yannick_moy/4102f6c9827dcb6eaba75721ac3ceabd0b20cea68cdbb5af43cf59106655af24.png)
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 www.spark-2014.org). Yannick previously worked on source code analyzers for PolySpace (now The MathWorks) and at Université Paris-Sud.
Events
Title | Day | Room | Track | Start | End |
---|---|---|---|---|---|
SPARK Language: Historical Perspective & FOSS Development | Saturday | AW1.125 | Ada | 15:00 | 15:50 |