Technion - Israel Institute of Technology
		236607 - Advanced Course in Program Analysis and Synthesis
		Winter 2011-2012
	Staff Dr. Eran Yahav Position:   Lecturer in charge Email:   yahavecs.technion.ac.il Phone:   4318 Office location:   Taub 734 Lectures:   Monay 10:30 - 12:30 Homepage:   http://www.cs.technion.ac.il/~yahave/ Nimrod Partush Position:   Teaching Assistant in charge Email:   nimics.technion.ac.il Phone:   5527 Office location:   Taub 603 Homepage:   http://http://www.cs.technion.ac.il/~nimi