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.