Online / 5 & 6 February 2022


Yannick Moy

Photo of Yannick Moy

Yannick Moy is Static Analysis Lead at AdaCore. Yannick leads the development of SPARK, a software source code analyzer aiming at verifying safety/security properties of programs. He frequently talks about SPARK 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
Proving the Correctness of GNAT Light Runtime Library Sunday D.ada Ada 16:25 17:05