Name:Yannick Moy

Bio:

Yannick Moy is Head of Licensing at ANSSI, the French national security agency. Previously, he lead the Static Analysis unit at AdaCore, where SPARK is developed. Yannick’s interests focus on the development of safe and secure software, and techniques like source code analysis to detect defects or formally verify safety/security properties. He holds a PhD in software engineering on formal verification of software.

Country:France

Affiliation:ANSSI

Research interests:Formal Verification, Static Analysis, Programming Languages, Compilation, Cybersecurity