Elena Blank

Elena Blank is a Staff Formal Verification Engineer at Arm, specializing in formal verification and Floating-Point hardware verification. With extensive experience at Intel Corporation, Elena applied various tools and techniques for the formal verification of Floating-Point operations and led efforts in writing Floating-Point specifications. Previously, they worked at IBM, where they served as team lead and developer for a floating-point test generator, contributing to verification solutions and project management. Elena also has teaching experience as a Teaching Assistant at Technion - Israel Institute of Technology, where they received multiple awards for excellence in teaching. Elena holds three degrees from Technion, including an M.Sc. in Mathematics and an M.Sc. in Electrical Engineering.