ÂÜÀòÂÒÂ×

Yannick Moy currently serves as the Lead of the Licensing Team at ANSSI, overseeing licensing for laboratories engaged in security product evaluations. Previously, Yannick held multiple roles at AdaCore, including Head of the Static Analysis Unit, where coordination of various teams focused on static analysis was essential. Yannick contributed to several non-technical initiatives, advocating for the Ada and SPARK communities and participating in research and environmental efforts. Prior experiences include positions as R&D Engineer and SPARK Team Lead at AdaCore, as well as a Post-Doc Internship at Microsoft Research and a PhD in Computer Science at INRIA/Orange Labs. Educational qualifications include an MS in Computer Science from Stanford University and an Engineering Degree from École Polytechnique.