EA

Eli Arbel

Manager of the Formal Verification Technologies Group

Eli Arbel is a Manager of the Qiskit SDK at IBM, having held various roles since 2006. They previously served as the Manager of Quantum and Software Quality, alongside being a Project Leader for R&D projects focused on Electronic Design Automation. Eli began their career in a student position as a software developer in the Formal Verification group, working on GUI development and model checking reduction algorithms. Eli earned both a Master of Science and a Bachelor of Science in Computer Science from the University of Haifa.

Location

Israel

Links


Org chart

This person is not in the org chart


Teams

This person is not in any teams


Offices

This person is not in any offices