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.

Verification Futures Conference Presentation                                                                         Video Presentation