conf.researchr.org / Tomer Libal

Registered user since Wed 29 Jun 2016

Name:Tomer Libal
Affiliation:INRIA Saclay and LIX
Personal website:http://logic.at/staff/shaolin/

Contributions

POPL 2017 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track