SPLASH 2016 (series) / Shachar Itzhaky

Registered user since Sat 1 Oct 2016
Name: Shachar Itzhaky
Country: United States
Affiliation: MIT CSAIL
Research interests: Program Synthesis, Automated Reasoning
Contributions
SPLASH 2016-profile
View general profile
View general profile