Photo of Dr. Shachar Itzhaky

Dr. Shachar Itzhaky

Contact information
Homepage:
http://www.cs.technion.ac.il/~shachari/
Email:
shacharics.technion.ac.il
Office:
703
Phone:
(972)-4-829-4915
Research interests
Software synthesis; High-level and automated programming; Functional programming languages; Formal proof assistants.