Yannick Moy

Yannick Moy has an extensive background in computer science and has held various roles in the field. Currently serving as the Head of Static Analysis Unit at AdaCore, Yannick leads multiple teams and is involved in recruitment, retention, R&D, and product management. Alongside their main role, Yannick also takes on additional responsibilities to support non-technical challenges within the company. Yannick has a strong research background and contributes to the research community and open-source projects. Prior to AdaCore, Yannick worked at Microsoft Research, INRIA/Orange Labs, and PolySpace Technologies Inc. Yannick holds a MS in Computer Science from Stanford University and an Engineering Degree in Computer Science, Mathematics, and Physics from École Polytechnique.