נחום דרשוביץ

מתוך ויקיפדיה, האנציקלופדיה החופשית
נחום דרשוביץ
אין תמונה חופשית
לידה 1951 (בן 71 בערך) עריכת הנתון בוויקינתונים
ענף מדעי מדעי המחשב עריכת הנתון בוויקינתונים
מקום לימודים
מנחה לדוקטורט זהר מנה עריכת הנתון בוויקינתונים
מוסדות
תלמידי דוקטורט Charles Glen Hoot, Yuh-jeng Lee, G Sivakumar, Alexander Alex Nadel, Iddo Tzameret, אודי בוקר, Evgenia Derzhavetz, Leo Bachmair, Jieh Hsiang, Subrata Mitra, נעמי לינדנשטראוס, Mitchell Alan Harris, Norman Alan Josephson, כפיר בר עריכת הנתון בוויקינתונים
פרסים והוקרה פרס הרברנד (2011) עריכת הנתון בוויקינתונים
האתר הרשמי
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

נחום דרשוביץ (נולד ב-1951) הוא פרופסור למדעי המחשב באוניברסיטת תל אביב, וקודם לכן באוניברסיטת אילינוי באורבנה-שמפיין. ידוע, בין השאר, בסדר דרשוביץ-מנה (אנ').

קריירה[עריכת קוד מקור | עריכה]

בשנת 1974 קיבל תואר ראשון במדעי המחשב (בהצטיינות יתרה) מאוניברסיטת בר-אילן. בשנת 1979 קיבל תואר דוקטור במתמטיקה שימושית ממכון ויצמן למדע, על עבודה שנעשתה בהדרכת פרופ' זוהר מנה שכותרתה The Evolution of Programs. משנת 1978 נמנה עם סגל אוניברסיטת אילינוי באורבנה-שמפיין, ובשנת 1998 חזר לישראל כאשר קיבל מינוי כפרופסור מן המניין באוניברסיטת תל אביב.

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

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

בשנת 2011 הוענק לו פרס הרברנד.

נין לזכריה דרשוביץ (אנ'). נשוי לשולמית חוה הלוי, משוררת וחוקרת צאצאי האנוסים.

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

  • Nachum Dershowitz, The Church-Turing Thesis, YouTube, 2013
  • Nachum Dershowitz and Zohar Manna (אוג' 1979). "Proving Termination with Multiset Orderings" (PDF). Communications of the ACM. 22 (8): 465–476. doi:10.1145/359138.359142. {{cite journal}}: (עזרה)
  • Nachum Dershowitz (1987). "Termination of Rewriting" (PDF). J. Symbolic Computation. 3: 69–116. doi:10.1016/s0747-7171(87)80022-6.
  • en:Calendrical Calculations
P Computer-science.svg ערך זה הוא קצרמר בנושא מדעי המחשב. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.