נחום דרשוביץ
נחום דרשוביץ (נולד ב-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]
נין לזכריה דרשוביץ (אנ'). נשוי לשולמית חוה הלוי, משוררת וחוקרת צאצאי האנוסים.
קישורים חיצוניים עריכה
אתר האינטרנט הרשמי של נחום דרשוביץ- נחום דרשוביץ, באתר פרויקט הגנאלוגיה במתמטיקה
- נחום דרשוביץ, באתר dblp
- נחום דרשוביץ, כלים אלגוריתמים במחקר כתבי יד, באתר YouTube, 2013
- 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
