Eran Yahav

Registered user since Wed 9 Jul 2014

Name: Eran Yahav

Bio: 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 (2005) and his B.Sc. from the Technion-Israel Institute of Technology (1996). 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..)

Country: Israel

Affiliation: Technion

Personal website:

Research interests: Program analysis, verification, synthesis

SPLASH 2015 Activities

SPLASH 2015-profile
View general profile