נחום דרשוביץ
שגיאת לואה ביחידה יחידה:תבנית_מידע בשורה 261: תבנית מדען ריקה. נחום דרשוביץ (נולד ב-1951) הוא פרופסור למדעי המחשב באוניברסיטת תל אביב, וקודם לכן באוניברסיטת אילינוי באורבנה-שמפיין. ידוע, בין השאר, בסדר דרשוביץ-מנה.
קריירה
בשנת 1974 קיבל תואר ראשון במדעי המחשב (בהצטיינות יתרה) מאוניברסיטת בר-אילן. בשנת 1979 קיבל תואר דוקטור במתמטיקה שימושית ממכון ויצמן למדע, על עבודה שנעשתה בהדרכת פרופ' זוהר מנה שכותרתה The Evolution of Programs. משנת 1978 נמנה עם סגל אוניברסיטת אילינוי באורבנה-שמפיין, ובשנת 1998 חזר לישראל כאשר קיבל מינוי כפרופסור מן המניין באוניברסיטת תל אביב.
היה חוקר אורח במכון ויצמן למדע, מיקרוסופט מחקר, אוניברסיטת סטנפורד, האוניברסיטה העברית בירושלים, אוניברסיטת שיקגו ועוד.
תחומי מחקרו: מדעי המחשב התאורטיים, בינה מלאכותית, שפות תכנות, הנדסת תוכנה, מדעי הרוח הדיגיטליים.
בשנת 2011 הוענק לו פרס הרברנד.
קישורים חיצוניים
- נחום דרשוביץ, כלים אלגוריתמים במחקר כתבי יד, באתר 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.
