Registered user since Sat 1 Oct 2016
Name:Shachar Itzhaky
Country:Israel
Affiliation:Technion, Israel
Personal website: http://www.cs.technion.ac.il/~shachari
Research interests:Program Synthesis, Automated Reasoning
Contributions
2020
ICFP 2020-profile
View general profile
View general profile