Shachar Itzhaky
Computer Science
Technion Israel Institute of Technology
Israel
Biography
Shachar Itzhaky working at Technion Israel Institute of Technology Shachar Itzhaky working at Technion Israel Institute of Technology
Research Interest
Software synthesis; High-level and automated programming; Functional programming languages; Formal proof assistants.