David Deharbe, based in Aix-en-Provence, Provence-Alpes-Côte d'Azur, France, is currently a Ingénieur logiciel et expert en méthodes formelles at CLEARSY, bringing experience from previous roles at CLEARSY, Universidade Federal do Rio Grande do Norte and Université de Nancy 2. David Deharbe holds a 1992 - 1996 Doctoral Degree in Computer Science @ Université Joseph Fourier (Grenoble I). With a robust skill set that includes SMT, Model Checking, Formal Verification, B Method, Formal Methods and more, David Deharbe contributes valuable insights to the industry. David Deharbe has 2 emails on RocketReach.