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

משה ורדי
לידה	4 ביולי 1954 (בן 70); חיפה, ישראל
מקום לימודים	אוניברסיטת בר-אילן (ספטמבר 1974); מכון ויצמן למדע (מאי 1980); האוניברסיטה העברית בירושלים (ספטמבר 1981) ;
מנחה לדוקטורט	כתריאל בארי
מוסדות	אוניברסיטת סטנפורד (ספטמבר 1981–אוגוסט 1983); אוניברסיטת רייס (דצמבר 1993); IBM ;
תלמידי דוקטורט	Erion Plaku, Kuldeep S. Meel, Deian Tabakov, Kristin Yvonne Rozier
פרסים והוקרה	פרס ACM - AAAI Allen Newell (2020); עמית האגודה האמריקאית למתמטיקה (2019); עמית החברה למתמטיקה תעשייתית ושימושית (2015); פרס האיגוד האירופי לתאוריה של מדעי המחשב (2012); פרס לזכר הארי גוד (2011); פרס החדשנות ע"ש אדגר קוד של SIGMOD (2008); פרס פריס קנלאקיס (2005); עמית באגודה האמריקאית לקידום המדע; מלגת גוגנהיים (2005); עמית האגודה האמריקאית לבינה מלאכותית (2004); פרס גדל (2000); עמית ACM (2000) ;
	www.cs.rice.edu/~vardi/

משה יעקב ורדי (נולד ב-4 ביולי 1954) הוא פרופסור (בדרגת University Professor) למדעי המחשב באוניברסיטת רייס בטקסס, זוכה פרס גדל לשנת 2000^[1], וחבר האקדמיה הלאומית למדעים של ארצות הברית מ-2015.

קורות חיים

משה ורדי הוא ילדם השני, מתוך שלושה, של צפורה^[2] והרב פנחס ורדי^[3], זוג ניצולי שואה, ממגיני הקיבוץ בארות יצחק במלחמת השחרור, וממיסדי המושב השיתופי ניר עציון, שם נולד וגדל. בגיל 13 עברו הוריו לעבוד ולהתגורר במושב כפר הרא"ה^[3], וורדי החל ללמוד בישיבת בני עקיבא במקום^[4]. ב-1970 למד במשך שנה בישיבת הכותל בעיר העתיקה של ירושלים, וב-1971 החל ללמוד פיזיקה ומדעי המחשב באוניברסיטת בר-אילן במסגרת העתודה האקדמית. ורדי שירת בחיל התותחנים.

ורדי נישא בשנות ה-80 של המאה העשרים לפם גיאר, אמו של מדען המחשבים אהרון הרצמן.

ורדי התבטא בפומבי בנושאים שונים, כולל שואת יהודי הונגריה, שהוריו נצלו ממנה^[5], מלחמת לבנון הראשונה^[6], וההשפעה האפשרית של ההתפתחות המואצת של אינטליגנציה מלאכותית על שוק העבודה^[7].

השכלה

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

מחקר ואקדמיה

בשנים 1981–1983 עסק ורדי במחקר בתר-דוקטורי באוניברסיטת סטנפורד בפלו אלטו קליפורניה. אזי, עבר לעבוד במרכז המחקר אלמדן של חברת אי.בי.אמ, אף הוא בפלו אלטו. החל משנת 1994 מלמד ורדי באוניברסיטת רייס, יוסטון, טקסס. בשנים 1994–2002 כיהן כראש המחלקה למדעי המחשב, ועתה הוא מנהל את מכון קן קנדי לטכנולוגית המידע.

נושאי מחקר

תחומי העניין של ורדי מתרכזים ביישומי לוגיקה על מדעי המחשב: לוגיקה של בסיסי נתונים, תיאוריה של מודלים סופיים, ידע במערכות רבות-סוכנים, אימות והסקה בידי מחשב, הוראת לוגיקה בחוגי לימוד ורמות שונות. ורדי מומחה בעל שם בבדיקת מודלים, ניהול אילוצים בתיאוריה של בסיסי נתונים, וידע משותף^[8].

ספרים, פרסומים

בשנים 2008–2017 היה ורדי העורך הראשי של הירחון Communications of the ACM^[9].

יחד עם עמיתים, כתב ורדי שני ספרים:

1. Reasoning About Knowledge^[10]

2. Finite Model Theory and Its Applications^[11]

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

פרסים והוקרה

בשנת 2000 זכה ורדי יחד עם פייר וולפר בפרס גדל על עבודתו בתחום בדיקות מודאליות בעזרת אוטומט סופי. בשנת 2012 הוענקה לו מדליית EATCS מטעם האיגוד האירופי למדעי המחשב התאורטיים^[12]. ב-2015 מונה ורדי להיות חבר האקדמיה הלאומית למדעים של ארצות הברית^[13].

8 מוסדות אקדמיים ברחבי העולם העניקו לורדי תוארי דוקטור של כבוד: אוניברסיטת סארלנד (גרמניה), אוניברסיטת אורליאנס (לואיזיאנה), אוניברסיטת האלפים בגרנובל (צרפת)^[14], האוניברסיטה הפדרלית של ריו גרנדה דל סול (ברזיל)^[15], אוניברסיטת לייג'(בלגיה)^[16], האוניברסיטה הטכנית של וינה (אוסטריה), אוניברסיטת אדינבורו (סקוטלנד)^[17], ואוניברסיטת גוטנברג (שוודיה)^[18].

ורדי הוא עמית ACM^[19] .

קישורים חיצוניים

מדיה וקבצים בנושא משה ורדי בוויקישיתוף

שיחה בין משה ורדי לרועי יוזביץ בערוץ היוטיוב ״העולם של יוזביץ״
אתר האינטרנט הרשמי של משה ורדי (באנגלית)

משה ורדי, ברשת החברתית אקס (טוויטר)
משה ורדי, באתר פרויקט הגנאלוגיה במתמטיקה
משה ורדי, באתר dblp
משה ורדי, באתר ResearchGate
משה ורדי, באתר גוגל סקולר
משה ורדי באתר אוניברסיטת רייס

הערות שוליים

^ ACM SIGACT - Gödel Prize, www.sigact.org
^ משה ורדי, הספד על אמי צפורה ורדי 17 מאי 2019, ‏17.5.2019
^ ¹ ² משה ורדי, הרב פנחס חיים ורדי(רוזנפלד), ‏12.9.2014
^ ארכיון הסרטים הישראלי, הרב החלוץ-ביסוס כפרים חקלאיים דתיים בארץ ישראל , 2:46 מתחילת הסרטון., ‏צולם 1968, פורסם 1971
^ משה ורדי, הרצאה על שואת יהודי הונגריה, ‏6 פברואר 2020
^ משה ורדי, יוני 1982: מלחמת לבנון הראשונה והשפעתה האסטרטגית, ‏20 ספטמבר 2022
^ סמי פרץ, כשמאות מיליונים יפוטרו: "אנשים יצטרכו לחזור לבית הספר באמצע החיים", באתר TheMarker‏, 1 בינואר 2018
^ Winslett, Marianne (2006). "Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof". ACM SIGMOD Record. 35: 56–64. doi:10.1145/1121995.1122008. S2CID 27479793.
^ People of ACM - Moshe Y. Vardi, ACM, ‏27.6.2017
^ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Massachusetts: The MIT Press. ISBN 0-262-56200-6.
^ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Finite model theory and its applications. Berlin: Springer. ISBN 978-3-540-00428-8.
^ EATCS Award, European Association for Theoretical Computer Science
^ רשימת חברי האקדמיה, משה ורדי, באתר האקדמיה הלאומית למדעים, ‏2015
^ "Vardi awarded honorary doctorate by Université Grenoble Alpes". rice.edu.
^ "Doctor Honoris Causa to Professor Moshe Vardi". ufrgs.br. 21 במרץ 2016. {{cite web}}: (עזרה)
^ "L'ULiège honore 10 personnalités internationales et ses nouveaux diplômés docteurs (avec thèse)". Université de Liège. 16 במרץ 2017. נבדק ב-26 באוגוסט 2022. {{cite web}}: (עזרה)
^ "Moshe Vardi - Humans, Machines, and Work: The Future is now". ed.ac.uk.
^ "Moshe Y. Vardi has been appointed honorary doctor at The IT faculty". gu.se.
^ Moshe Y Vardi, awards.acm.org (באנגלית)

[1] ACM SIGACT - Gödel Prize, www.sigact.org

[2] משה ורדי, הספד על אמי צפורה ורדי 17 מאי 2019, ‏17.5.2019

[:0-3] ¹ ² משה ורדי, הרב פנחס חיים ורדי(רוזנפלד), ‏12.9.2014

[4] ארכיון הסרטים הישראלי, הרב החלוץ-ביסוס כפרים חקלאיים דתיים בארץ ישראל , 2:46 מתחילת הסרטון., ‏צולם 1968, פורסם 1971

[5] משה ורדי, הרצאה על שואת יהודי הונגריה, ‏6 פברואר 2020

[6] משה ורדי, יוני 1982: מלחמת לבנון הראשונה והשפעתה האסטרטגית, ‏20 ספטמבר 2022

[7] סמי פרץ, כשמאות מיליונים יפוטרו: "אנשים יצטרכו לחזור לבית הספר באמצע החיים", באתר TheMarker‏, 1 בינואר 2018

[8] Winslett, Marianne (2006). "Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof". ACM SIGMOD Record. 35: 56–64. doi:10.1145/1121995.1122008. S2CID 27479793.

[9] People of ACM - Moshe Y. Vardi, ACM, ‏27.6.2017

[rak-10] Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Massachusetts: The MIT Press. ISBN 0-262-56200-6.

[fmtaia-11] Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Finite model theory and its applications. Berlin: Springer. ISBN 978-3-540-00428-8.

[12] EATCS Award, European Association for Theoretical Computer Science

[13] רשימת חברי האקדמיה, משה ורדי, באתר האקדמיה הלאומית למדעים, ‏2015

[14] "Vardi awarded honorary doctorate by Université Grenoble Alpes". rice.edu.

[15] "Doctor Honoris Causa to Professor Moshe Vardi". ufrgs.br. 21 במרץ 2016. {{cite web}}: (עזרה)

[16] "L'ULiège honore 10 personnalités internationales et ses nouveaux diplômés docteurs (avec thèse)". Université de Liège. 16 במרץ 2017. נבדק ב-26 באוגוסט 2022. {{cite web}}: (עזרה)

[edinburgh-17] "Moshe Vardi - Humans, Machines, and Work: The Future is now". ed.ac.uk.

[18] "Moshe Y. Vardi has been appointed honorary doctor at The IT faculty". gu.se.

[19] Moshe Y Vardi, awards.acm.org (באנגלית)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]