Primary Job Title Chief Scientist Primary Organization 
TrustInSoft
Location Paris, Ile-de-France, France Regions European Union (EU), Europe, Middle East, and Africa (EMEA) Gender Male
A graduate of École Normale Supérieure de Lyon with a PhD from University of Paris 6, Pascal joined CEA after a post-doctoral year in Korea. After co-inventing the Frama-C technology with Benjamin Monate, Pascal focused on developing and promoting Frama-C, energizing the Frama-C user community, increasing involvement in summer schools for
programming and security, blogging, and organizing programming contests. In May 2013, he co-founded TrustInSoft. Pascal currently serves as Chief Scientist.
