itay henigsberg

Itay Henigsberg has extensive experience in the field of verification engineering. itay started their career at IC4IC in 2002 and worked as a SYSTEM engineer. In 2004, they joined Viola Networks as a SW Developer, where they developed environment tools as a student. In 2005, they moved to Marvell and worked as a Formal Verification Engineer. At Marvell, they were responsible for planning and implementing Formal Verification Bounded/Unbounded Model checking and debugging hardware designs. From 2008 to 2012, Itay worked at Saifun as a Global Software & Verification Engineer. itay played a key role in defining the Spansion methodology of coverage-driven verification and managed partnerships with various development departments worldwide. From 2012 to 2015, they joined Compass-EOS as a Verification Leader and managed a verification team. During their time at Compass-EOS, they implemented verification environments for ASIC and FPGA data path. In 2016, they took a long vacation before joining Magic Leap in 2017. At Magic Leap, they held the positions of Verification Specialist and Senior Verification Engineer. itay joined Chain Reaction Ltd. in 2020 as a Verification Engineer.

From 2000 to 2005, Itay Henigsberg attended the Technion - Israel Institute of Technology. During this time, they pursued a Bachelor of Science (BSc) degree in Mathematics and Computer Science.