Photo of Dr. Yakir Vizel

Dr. Yakir Vizel

Contact information
Homepage:
http://www.cs.technion.ac.il/~yvizel/
Email:
yvizelcs.technion.ac.il
Office:
627
Phone:
(972)-4-829-4357
Office Hours:
No office hours
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.