Associate Professor Eran Yahav

Associate Professor Eran Yahav

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