Primary Job Title Founder & CTO Primary Organization 
TrustInSoft
Location Paris, Ile-de-France, France Regions European Union (EU), Europe, Middle East, and Africa (EMEA) Gender Male
LinkedIn View on LinkedIn X (Twitter) View on X
A graduate of École Normale Supérieur de Cachan with a PhD from University of Paris 11, Benjamin joined CEA after one year of teaching at École Polytechnique. Benjamin served as head of the laboratory, leading the lab’s scientific and financial advancement. In addition, he co-invented the Frama-C technology with Pascal Cuoq. Benjamin spearheaded
the development of the Frama-C product itself. In May 2013, he co-founded TrustInSoft. Benjamin currently serves as the CTO.
