Laurent Arditi

Formal Verification Lead

Laurent Arditi has extensive experience in the field of engineering and research, holding notable positions such as Formal Verification Lead at Codasip, Senior R&D Engineer at Esterel Technologies S.A.S., Software System Engineer at Texas Instruments, and Postdoctoral Researcher at Stanford University.

Links

Previous companies


Org chart

This person is not in the org chart


Teams

This person is not in any teams


Offices

This person is not in any offices