נחום דרשוביץ

נחום דרשוביץ

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

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

קריירה

עריכה

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

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

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

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

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

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

עריכה
  • 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

הערות שוליים

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