Gadiel Auerbach  Gadiel Auerbach photo       

contact information

Haifa Formal Verification Execution Team Lead
Haifa Research Lab, Haifa, Israel
  +972dash2dash649dash1155

links


profile


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