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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
משה ורדי
Moshe Vardi.jpg
לידה 4 ביולי 1954 (בן 64)
חיפה, ישראל עריכת הנתון בוויקינתונים
מקום לימודים האוניברסיטה העברית בירושלים, אוניברסיטת בר-אילן עריכת הנתון בוויקינתונים
מוסדות IBM, אוניברסיטת רייס עריכת הנתון בוויקינתונים
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

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

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

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

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

קישורים חיצוניים[עריכת קוד מקור | עריכה]

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