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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
משה ורדי, 2011

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

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

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

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

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