Eran Yahav is a faculty member of the Computer Science
department at the Technion, Israel. Prior to his position at
Technion, he was a Research Staff Member at the IBM T.J. Watson
Research Center in Hawthorne, New York (2004-2010).
He received his Ph.D. from Tel Aviv University (2004) and his
B.Sc. (cum laude) from the Technion-Israel Institute of
His research interests include static and dynamic program
analysis, program synthesis, and program verification.
Eran is a recipient of the prestigious Alon Fellowship for
Outstanding Young Researchers, and the Andre
Deloro Career Advancement Chair in Engineering.