Ofer Strichman -

Not registered as user yet

Name: Ofer Strichman

Affiliation: Technion

Personal website: http://ie.technion.ac.il/~ofers

Contributions

PERR 2019	Committee Member in Program Committee within the PERR-track Committee Member in Organizing Committee within the PERR-track
VMCAI 2017	Author of Synthesizing Non-Vacuous Systems within the VMCAI-track