Yakir Vizel

Registered user since Sat 18 Apr 2020

Name: Yakir Vizel

Country: Israel

Affiliation: Technion—Israel Institute of Technology

Personal website: http://www.cs.technion.ac.il/~yvizel/index.html

Research interests: Formal Verification, Model Checking

Contributions

VMCAI 2021Conference Co-Chair in Organizing Committee within the VMCAI-track
ECOOP and ISSTA 2021Committee Member in SPIN 2021 Committee within the SPIN-track
VMCAI 2017Author of IC3 - Flipping the E in ICE within the VMCAI-track