Eran Yahav
Computer Science
Technion Israel Institute of Technology
Israel
Biography
Eran Yahav working at Technion Israel Institute of Technology Eran Yahav working at Technion Israel Institute of Technology
Research Interest
Program analysis, abstract interpretation, program verification, program synthesis, concurrent and distributed systems, programming languages, and software engineering.