Write a Blog >>
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

Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile