I am a Postdoctoral Research Associate at Princeton University working with Professor Sharad Malik.
I have received a PhD from the Computer Science Department at the Technion in 2014. My research was conducted under the supervision of Professor Orna Grumberg.
An updated CV can be found here.
Areas of Interest:
Formal Verification of hardware and software
SAT-based Model Checking
- Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik "IC3 - Flipping the E in ICE”, 18th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’17), Paris, France.
- Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik "Template-based Synthesis of Instruction-Level Abstractions for SoC Verification”, 2015 International Conference on Formal Methods in Computer-Aided Design (FMCAD’15), Austin, Texas, USA.
- Yakir Vizel, Arie Gurfinkel, Sharad Malik "Fast Interpolating BMC”, 27th International Conference on Computer Aided Verification (CAV’15), San Francisco, USA.