Benjamin LE GUENIC

Benjamin Le Guenic is a Senior Technical Consultant at MathWorks, specializing in safety-critical systems. They have extensive experience in software verification for aeronautics applications, particularly in Model-based design and adherence to DO178 and DO331 norms. Previously, they served as a Software Verification Engineer at Lilium, addressing processes and standards for software development, and held the position of Software Verification Leader at Safran, overseeing critical embedded software projects. Their career began with roles at Thales Airborne Systems and Alyotech, where they contributed to various aerospace projects. Benjamin holds an engineering degree in Mechatronics from Ecole nationale d'Ingénieurs de Brest.