Faculty of Computer Science logo הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02360346 - פרויקט באימות תכניות בעזרת מחשב 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification
  אביב 2020Spring 2020Весна 2020ربيع 2020  

סגל Staff Преподаватели طاقم التدريس

Dr. Yakir Vizel

תפקיד: Position: Должность: منصب:   מרצה אחראי Lecturer in charge Ответственный лектор محاضر مسؤول
דואר אלקטרוני: Email: Электронная почта: بريد الكتروني:   uyvizelatcs.technion.ac.il
משרד: Office location: Офис: مكتب:   627

Dr. Shachar Itzhaky

תפקיד: Position: Должность: منصب:   מרצה אחראי Lecturer in charge Ответственный лектор محاضر مسؤول
דואר אלקטרוני: Email: Электронная почта: بريد الكتروني:   ushachariatcs.technion.ac.il
משרד: Office location: Офис: مكتب:   703