|Designation:||Principal Engineer, Formal Verification Expert|
Biography: Laurent received his PhD on formal verification of microprocessors in 1996 from the University of Nice – Sophia Antipolis, France. Laurent then worked on modeling techniques and semi-formal verification for Texas Instruments, then on high-level synthesis for Esterel Technologies. He has been working for ARM for 7 years, first as a modeling engineer, now as formal verification expert. As such, he is building the strategy for a wider usage of formal verification within ARM.