תמונה של דר' יקיר ויזל

דר' יקיר ויזל

יצירת קשר
דף בית:
http://www.cs.technion.ac.il/~yvizel/
דואר אלקטרוני:
yvizelcs.technion.ac.il
משרד:
627
טלפון:
04-829-4357
שעות קבלה:
No office hours
תחומי עניין במחקר
אימות פורמלי של חומרה ותוכנה; אלגוריתמי SAT/SMT; שיטות אבסטרקציה; אימות תכונות אבטחה; אימות משולב של מערכות חומרה-תוכנה; שימוש בלמידה לצורך אימות אוטומטי.