Gadiel Auerbach  Gadiel Auerbach photo       

contact information

Haifa Formal Verification Execution Team Lead
Haifa Research Lab, Haifa, Israel



My area of interest is formal verification. I joined Haifa Research Laboratory on 2002. I lead the Haifa Formal Verification Execution Team since 2005, we verify IBM's high-end processors, and we were part of POWER7 verification effort. I completed my MSc in Computer Science in the Hebrew University under the supervision of Prof. Orna Kupferman in 2002 and BSc in mathematics and computer science in the Hebrew U. in 1997.

Projects and Groups