Skip to main menu (access key '1') Skip to content (access key 's') Skip to contact info (access key '2') Skip to phone directory (access key '3') Skip to site map (access key '4') Skip to accessibility information (access key '0')
You are here: › › ›
Photo of Dr. Yakir Vizel

Dr. Yakir Vizel


Advisor for students not in good standing


Contact information
Homepage:
http://www.cs.technion.ac.il/~yvizel/
Email:
yvizelcs.technion.ac.il
Office:
627
Phone:
(972)-4-829-4357
Office Hours:
Tuesday, 16:30-17:30
Research interests
Formal verification of hardware and software systems; Model Checking; SAT/SMT solving; Abstraction techniques; Security Verification; Hardware-Software Co-Verification; Machine learning for verification.