About me
Research Staff Member
Research lab: Haifa Research Lab
Education:
Ph.D. in computer science from the Hebrew University of Jerusalem, Israel.
Research area: formal verification.
Thesis: "Coverage Metrics for Model Checking".
M.Sc. in computer science from Tel-Aviv University, Israel.
Research area: boolean cicruit complexity.
Thesis: "Shrinkage of formulas with majority gates".
B.Sc. in computer science and mathematics from the Hebrew University of Jerusalem, Israel.
Short bio:
I a member of STAR group ("Software testing, analysis, and review") at IBM HRL. I lead an effort to compose a framework for formalizing and improving the quality of modeling and design.
My research focus is in formal verification. I am interested in sanity checks for model checking, specifically, coverage metrics and vacuity checks. Lately, during my postdoc and at IBM, I've also become interested in formal verification of concurrent systems.
For more information on my research, please visit my page at MIT: http://theory.lcs.mit.edu/~hanac
Read more
Attached files: IBM_CV_2.pdf, ATTML34C.pdf
Last updated 23 Oct 2007