נחום דרשוביץ
| נחום דרשוביץ | |
|---|---|
נחום דרשוביץ (נולד ב-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". Communications of the ACM 22 (8): 465–476. doi:10.1145/359138.359142.
- Nachum Dershowitz (1987). "Termination of Rewriting". J. Symbolic Computation 3: 69–116. doi:10.1016/s0747-7171(87)80022-6.
הערך באדיבות ויקיפדיה העברית, קרדיט,
רישיון cc-by-sa 3.0
רישיון cc-by-sa 3.0
This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.