משה ורדי (מדען מחשב)

משה יעקב ורדי (נולד ב-4 ביולי 1954) הוא פרופסור למדעי המחשב באוניברסיטת רייס בטקסס, זוכה פרס גדל לשנת 2000.

משה ורדי
Moshe Vardi.jpg
לידה 4 ביולי 1954 (בן 66)
חיפה, ישראל עריכת הנתון בוויקינתונים
מקום לימודים
מנחה לדוקטורט Catriel Beeri עריכת הנתון בוויקינתונים
מוסדות
מונחה לדוקטורט Erion Plaku, Deian Tabakov עריכת הנתון בוויקינתונים
פרסים והוקרה
  • מלגת גוגנהיים
  • פרס גדל (2000)
  • פרס פריס קנלאקיס (2005)
  • פרס האיגוד האירופי לתאוריה של מדעי המחשב (2012)
  • פרס לזכר הארי גוד (2011)
  • פרס החדשנות ע"ש אדגר קוד של SIGMOD (2008)
  • עמית האגודה האמריקאית לבינה מלאכותית
  • עמית ACM
  • עמית האגודה האמריקאית למתמטיקה
  • עמית האגודה האמריקאית לקידום המדע
  • דוקטור לשם כבוד עריכת הנתון בוויקינתונים
www.cs.rice.edu/~vardi/
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

ורדי בוגר תואר ראשון בפיזיקה ומדעי המחשב מאוניברסיטת בר-אילן (1974) ותואר שני במדעי המחשב ממכון ויצמן (1980). בשנת 1981 סיים דוקטורט בהנחיית פרופסור כתריאל בארי באוניברסיטה העברית. בשנים 1981–1983 עסק בלימודי פוסט דוקטורט באוניברסיטת סטנפורד. אז עבר לעבוד במרכז המחקר אלמדן של חברת אי.בי.אמ. החל משנת 1994 מלמד באוניברסיטת רייס שבארצות הברית.

בשנת 2000 זכה יחד עם פייר וולפר בפרס גדל על עבודתו בתחום בדיקות מודאליות בעזרת אוטומט סופי. ורדי קיבל בעבר את מלגת גוגנהיים. בשנת 2012 הוענקה לו מדליית EATCS מטעם האיגוד האירופי למדעי המחשב התאורטיים.

ורדי הוא עמית ACM והיה העורך הראשי של הירחון Communications of the ACM.

קישורים חיצונייםעריכה

  מדיה וקבצים בנושא משה ורדי בוויקישיתוף
  ערך זה הוא קצרמר בנושא אישים. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.