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
Research interests:Program analysis, verification, synthesis

Contributions

Show activities from other conferences

SPLASH 2015-profile
View general profile