Anne Pacalet

Anne Pacalet began their work experience in 1993 at CEA as an Ingénieur-chercheur, where they focused on the design and development of the tool CAVEAT. Anne worked at CEA until 2003. In 2006, Anne joined INRIA as an Ingenieur, where they were responsible for the conception and development of plugins for Frama-C. Anne worked at INRIA until 2011. In 2012, Anne joined SafeRiver as an Ingénieur, and they remained there until 2013. Finally, Anne joined TrustInSoft in 2013 as an Engineer.

Anne Pacalet completed their education at several institutions. From 1982 to 1988, they attended ESIEE PARIS, where they obtained a degree in Micro-électronique. Following this, they pursued a DEA degree in CAO et architecture de circuit at Pierre and Marie Curie University from 1988 to 1989. Lastly, from 1989 to 1993, they attended Télécom Paris, where they earned a Doctorat in Electronique.