Eran makes sure we employ the best available technology for analyzing huge amounts of code and mining useful insights from it.
Eran is a faculty member of the Computer Science department at the Technion - Israel Institute of Technology.
Previously, he was a Research Staff Member at the IBM T.J. Watson Research Center in Hawthorne, New York.
He received his Ph.D. from Tel Aviv University and his B.Sc. from the Technion.
Eran's areas of expertise include static and dynamic program analysis, program synthesis, and program verification.