|Daniel Geist D. Sc||
Daniel has over 20 years of experience in technical and management positions in companies such as IBM and Intel.
Before founding asserdD, Daniel lead a team that developed a system test generation tool that is utilized in intel's main processor line.
Prior to that Daniel worked in IBM where he managed the RuleBase FV tool and the FoCs ABV tool. Daniel introduced parallelism into RuleBase and in general was one of the pioneers of parallelsm withinn FV.
Daniel was a member of the Accellera and IEE committees that defined the temporal assertion language PSL (IEEE 1850)
Daniel has 35 reviewed papers in conferences and Journals. He holds a B Sc. from the Technion in Haifa and M. Sc and D. Sc. from Washington University in St. Louis