Dr. Eran Yahav
- Contact information
- Homepage:
- http://www.cs.technion.ac.il/~yahave/
- Email:
- yahave
![[at]](/images/shtru.gif)
cs.technion.ac.il - Office:
- 734
- Phone:
- 4318
- Office Hours:
- Monday, 14:30-15:30
- Research interests
- Program analysis, abstract interpretation, program verification, program synthesis, concurrent and distributed systems, programming languages, and software engineering.
