MEET THE TEAM
Chief Executive Officer
With a degree in engineering from École Polytechnique and a PhD from University of Paris 7, Fabrice started his career in the telecom industry as a systems architect, and then in startup companies as CTO. Fabrice joined CEA in 2003. He directed laboratory business development and then managed a department, led programs, and provided strategy for the LIST institute. In May 2013, he co-founded TrustInSoft. He currently serves as the CEO.
Chief Technical Officer
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.
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.
Director – Business Operations, North America.
Vic is responsible for all aspects of TrustInSoft’s North American Business Operations, including go-to-market strategy, market development, and customer engagement. Prior to joining TrustInSoft, Vic worked in Product Lifecycle Management enterprise applications and led an enterprise software practice and division, delivering software development, integration, migration, business process services and ERP solutions to mid and large-sized enterprises. Vic holds a Bachelor’s Degree in Electronic Engineering from the University of Pune and has completed an Executive Program at the Haas School of Business, University of California, Berkeley.
Marketing & EMEA Sales
Mahaut oversees the Business Development of EMEA for TrustInSoft. She manages market development and client engagement. In addition, Mahaut develops TrustInSoft’s marketing strategy by defining TrustInSoft’s vision, mission, and business goals. To help ensure the success of TrustInSoft, she outlines the steps needed to achieve company goals. Before joining TrustInSoft, Mahaut was a Marketing & Communication executive for a well-known software publisher that focused on document processing and payment systems. For three years, she focused on developing effective social media marketing strategies, efficient communication plans, and product marketing campaigns. Mahaut graduated from the New York Institute of Technology and was an auditor at SKEMA Business School where she obtained a Master’s degree in Sales & Marketing.
Administration and Financial Manager
Jessica Huguiès completed her Master’s in Financial Translation at Paris Sorbonne Nouvelle University. She also holds a BA in Applied Foreign Languages. Jessica brought seven years of translation project management experience when she joined TrustInSoft as Office Manager of the Paris office in 2016. Her mission is to create a comfortable and inclusive office to encourage peak productivity and morale as well as to handle the company’s administrative management. Additionally, Jessica reviews various documents before they are sent to clients. Her goal is to ensure that documents are written in a way that clients can understand. Her contribution to the TrustInSoft team is just one more way the company showcases its total commitment to providing the most advanced source code analyzers, advanced software auditing services, and on-demand client services.
Anne is a Senior R&D engineer. Having joined TrustInSoft in December 2013, she is its very first employee. Previously, Anne worked at CEA on a static analysis and formal verification tool that was a Frama-C predecessor. She developed the slicing plug-in of Frama-C. Anne also worked at INRIA where she had the opportunity to enhance her understanding of formal proofs using the Coq proof assistant. She now focuses on software analysis using TrustInSoft Analyzer.
A graduate of University of Paris 11 and a lover of the OCaml programming language, David joined TrustInSoft for his final year internship. As a Research Engineer, he develops upgrades and tools for the Frama-C technology.
Fabien earned his MSc at University Paris Diderot where his interest in formal methods (particularly proof of programs) was born. For two years, he maintained a static analysis software and used it as part of the safety team for security analysis. Fabien acted as the main contributor to the open source project GeneWeb (a genealogy software) for four years. He joined TrustInSoft in July 2015 and uses formal methods to guarantee the correction of software. Fabien actively participates in expanding these methods into industrial contexts.
With more than 15 years of experience building mission-critical systems in the telephony and secure payment industries, Miod joined TrustInSoft. His goal is to help bridge the gap between industry practices and expectations and state-of-the-art software verification tools.
Originally from Warsaw, Poland, Jakub studied at the prestigious Warsaw University, which is renowned for its mathematics and computer science faculty. After spending a year as an exchange student in Italy, he headed to France, where he obtained his Master’s and PhD from the University of Paris 7. Jakub joined TrustInSoft in October 2015 as a research and development engineer.
After graduating from the University Paris Diderot, Stéphane earned a PhD in formal methods and mathematical logic at the PPS laboratory of Paris Diderot. He joined TrustInSoft in October 2015 to improve and extend the existing tools for formal verification and to promote the usefulness of mathematical guarantees in industrial contexts.
Loïc Runarvot is a graduate of the University Paris Diderot. He holds a BS and Master’s degree in Computer Science. Loïc joined the TrustInSoft team as a Research Engineer in 2016. Previously, he interned with TrustInSoft while finishing his education. Loïc is excited to be a member of the TrustInSoft team because he uses his education to continuously improve technological advancements offered by TrustInSoft. He also enjoys developing and implementing new concepts that will continue to provide clients with consistent results. Currently, Loïc spends his time developing new tools and technologies for TrustInSoft.
Michele earned a PhD in theoretical computer science and mathematical logic from Università di Bologna and Université d’Aix-Marseille. Before joining TrustInSoft in August 2017, he worked for two years in the Software and Security Laboratory at CEA as a PostDoc, where he focused on Frama-C technology. His mission is to help improve TrustInSoft’s core technologies for formal verification in industrial contexts.