Gabi Leshem is an architect at cadence focussing on ESL verifciation. Prior to cadence, Lesham was with Verisity as a senior engineering manager.
In 1991, Leshem was a founder and CTO for CARDtools
Prior to CARDtools, Leshem was a software engineer at Ready systems and iLogic.
Leshem has a Ph.D. in Computer Science from NYU and a B.Sc. and M.Sc. in electrical engineering from the Haifa Technion in Israel.
