לוגו רקע לבן

פרופ' שמואל טישברוביץ

מרצה, בית הספר למדעי המחשב

 

 

 

נושאי מחקר

שיטות פורמליות, הנדסת תוכנה, מערכות תגובתיות.

 

נושאי הוראה

שיטות פורמליות, הנדסת תוכנה, פיתוח מונחה עצמים, מבוא למדמ”ח, מערכות תגובתיות ומערכות זמן-אמת, סדנאות צה”ל.

banner