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, a technology he presents in articles, conferences, classes and blogs (in particular blog.adacore.com). Yannick previously worked on source code analyzers for PolySpace (now The MathWorks) and at Université Paris-Sud.
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Proof of Pointer Programs with Ownership in SPARK | Saturday | AW1.125 | Ada | 18:30 | 18:50 |