ICFP 2020
Sun 23 - Fri 28 August 2020
Shachar Itzhaky

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


ICFP 2020Author of Liquid Information Flow Control within the Research Papers-track
Show activities from other conferences

Using general profile