After graduating from the french High School Telecom ParisTech, he joined AdaCore in 2002. Mostly involved in debugging and cross technologies, he also worked on various part of the technology: SPARK, GNAT coverage, certification.