Gérard Memmi

Gerard Memmi, Chief Software Architect, (These d'Etat in Computer Science from Universite Pierre & Marie Curie, Paris, 1981) Dr. Memmi has over 20 years of experience in the software industry.
Prior to joining DAFCA in March 2004, Dr. Memmi was responsible for delivering a best in class Equivalency Checker product at Chrysalis first, then Avant!, then Synopsys, constantly improving performance applying cutting edge results in formal methods.
He was VP of core technology then CTO of Chrysalis.
During his academic activity, Dr. Memmi was a professor at Ecole Nationale Superieure des Telecommunications, Paris, France; later, while an employee of Groupe Bull HN he was the Principal Investigator for a DARPA grant on collaborative software.
Memmi has over 40 publications, co-authored one book, and supervised 20 doctoral students.