דר' שאול אלמגור הצטרף לפקולטה למדעי המחשכ

Dr. Shaull Almagor Joins CSברכות לדר' שאול אלמגור אשר הצטרף לפקולטה למדעי המחשב בטכניון. תחומי המחקר העיקריים שלו הם אימות פורמלי של חומרה ותוכנה, בדיקת מודל, לוגיקה טמפורלית, אוטומטים, מערכות דינמיות, סינתזה ותכנון.

דר' אלמגור קיבל את הדוקטורט במדעי המחשב בשנת 2016 מהאוניברסיטה העברית בירושלים בהנחייתה של פרופ' אורנה קופפרמן ובין השנים 2016-2019 היה פוסט דוק באוניברסיטת אוקספורד.

ברוך הבא ובהצלחה לשאול!

בחזרה לאינדקס החדשות יום ראשון, אוגוסט 18, 2019