Gadi Auerbach

Gadi Auerbach has held a variety of roles in the tech industry since 1997. Gadi began their career as a Student position in the Methods and Tools group at Digital Equipment Corporation, followed by a Teaching Assistant role at The Hebrew University. In 1998, they returned to Intel Corporation as a Student position in the Methods and Tools group. In 1999, they co-founded and became VP Research at IntelliGate. In 2002, they joined IBM STG (System Technology Group) as a Formal Verification Application Team Lead, where they led a team of formal verification experts and developed and applied multiple innovative methods to formally verify significant portions of the processors' design. In 2018, they returned to Intel Corporation as a Formal Verification Engineer, where they verified multi-step security logic, arbiters, fifo's, bridges, ordering-maintaining logic, and credit controllers of AlderLake microprocessor. Gadi also acted as a FV Team Leader, managing a team of FV experts and responsible for FV deployment across uncore units of Intel's client newest microprocessor. In 2022, Gadi Auerbach began their current role as a Sr. Security Engineer at Certora.

Gadi Auerbach received their Bachelor of Laws (LLB) from The Hebrew University of Jerusalem in 2017. Prior to this, they earned their MsC in Computer Science from the same university between 1998 and 2002. Gadi also earned a B.Sc. in Mathematics and Computer Science from The Hebrew University of Jerusalem between 1994 and 1997.