דוד הראל
.jpg) | |
| דוד הראל (מימין) בכנס FLoC 2006 | |
| לידה | 12 באפריל 1950 (גיל: 74) |
|---|---|
| ענף מדעי | מדעי המחשב |
| מקום מגורים | אנגליה,ישראל |
| פרסים והוקרה | חתן פרס ישראל לשנת תשס"ד 2004 |
| תרומות עיקריות | |
| עבודתו בתחומי הלוגיקה הדינמית, החישוביות והנדסת התוכנה | |
דוד הראל (נולד ב-12 באפריל 1950) הוא פרופסור למדעי המחשב במכון ויצמן למדע, חתן פרס ישראל לשנת תשס"ד 2004. ידוע בעיקר בזכות עבודתו בתחומי הלוגיקה הדינמית, החישוביות והנדסת התוכנה. היה דיקן הפקולטה למתמטיקה ולמדעי המחשב במשך שבע שנים. משמש כסגן נשיאת האקדמיה הלאומית הישראלית למדעים.
קורות חייו
דוד הראל נולד ב-1950 בלונדון שבאנגליה, בן לג'ויס ואהרן הראל פיש. אחיו המבוגר ממנו בשנתיים הוא מנחם פיש. בילדותו גדל בלידס, שם היה אביו מרצה לספרות באוניברסיטת לידס. עלה עם משפחתו לישראל בהיותו בן 7. בישראל הצטרף אביו לסגל אוניברסיטת בר-אילן ולימים היה רקטור האוניברסיטה.
הוא למד בישיבת בני עקיבא "נתיב מאיר" בירושלים. בשנת 1968 התגייס לצה"ל, שירת בנח"ל וסיים את שירותו הסדיר כסמ"פ.
בעל תואר ראשון במתמטיקה ובמדעי המחשב מאוניברסיטת בר-אילן (1974), תואר שני במדעי המחשב מאוניברסיטת תל אביב בהנחיית אמיר פנואלי (1976) ותואר דוקטור מ-MIT (1978). נושא מחקר הדוקטורט שלו היה לוגיקה דינמית. לאחר קבלת תואר דוקטור שהה שנתיים כפוסט-דוקטורט במרכז המחקר של IBM. בשנת 1984 נמנה עם מייסדיו של הסטארט אפ I-Logix, שנמכר בשנת 2006. פיתוח התוכנה Statemate בחברה זו זיכה את הראל, יחד עם שבעה מעמיתיו, בפרס ACM למערכת תוכנה לשנת 2007.
בשנת 1980 הצטרף לסגל של מכון ויצמן למדע. בשנים 1989 - 1995 עמד בראש המחלקה למתמטיקה שימושית ומדעי המחשב, ובשנים 1998 - 2005 היה הדיקן של הפקולטה למתמטיקה ומדעי המחשב.
ב-1987 פיתח הראל שפה גרפית לתיאור תהליכים, תוך שימוש בתרשימי מצבים המכונים Statecharts. בשנות ה-90 הפך פיתוח זה לחלק מתקן UML במסגרת הפרק המתאר דיאגרמות מצבים.
בשנת 2004 הוענק לו פרס ישראל למדעי המחשב (ארבע שנים לאחר שאביו זכה בפרס זה בתחום חקר הספרות הכללית). בשנת 2010 זכה בפרס א.מ.ת. כן קיבל פרסים בינלאומיים אחדים.
בנוסף לפעילותו המדעית, מרבה הראל לעסוק בהבאת מדעי המחשב לציבור רחב יותר, במאמרים, בהרצאות ובספרים. בעקבות סדרת הרצאות שנתן בסוף 1984 במסגרת "האוניברסיטה המשודרת" של גלי צה"ל, יצא לאור, כמקובל בסדרה זו, הספר "פרקי יסוד במדעי המחשב" (1985). בעקבותיו יצאה לאור בשנת 1987 הרחבה ניכרת של ספר זה בשם Algorithmics: The Spirit of Computing, ובשנת 1989 יצאה לאור גרסה מעט פשוטה יותר בשם The Science of Computing: Exploring the Nature and Power of Algorithms. בשנת 1991 יצא לאור תרגום לעברית של ספר זה, בשם "אלגוריתמיקה: יסודות מדעי המחשב".
ספרו "Computers Ltd.: What They Really Can't Do", שיצא לאור בשנת 2000, תורגם לעברית ויצא לאור בשנת 2004 בשם "המחשב אינו כל-יכול".
בשנת 1971 נישא לוורדה, ולזוג נולדו ארבעה ילדים. מנישואיו השניים, למיכל, נולדה לו בת.
חברויות ציבוריות
- 2006 - חבר באקדמיה האירופאית (Academia Europaea)
- 2010 - חבר באקדמיה הלאומית הישראלית למדעים ומ- 2015 משמש סגן הנשיאה.
- 2014 - חבר זר באקדמיה האמריקאית הלאומית להנדסה (National Academy of Engineering)
- 2014 - חבר זר באקדמיה האמריקאית לאמנויות ולמדעים (American Academy of Arts and Sciences)
- 2015 - סגן נשיא האקדמיה הלאומית הישראלית למדעים
בנוסף חבר במועצה של הקרן החדשה לישראל[1], עמית ACM, עמית IEEE ועמית ה-AAAS.
קישורים חיצוניים
- דוד הראל, באתר של מכון ויצמן למדע (באנגלית)
- יהודית גל-עזר, פרופ' דוד הראל, חתן פרס ישראל, יועץ פיתוח לתחום מדעי המחשב באוניברסיטה הפתוחה
- דוד הראל, קורות חיים באתר פרס ישראל
- נימוקי השופטים להענקת פרס ישראל לדוד הראל, באתר פרס ישראל
- "דוד הראל, לשם מה אתה ממציא שפות חדשות?", באתר הארץ, 25 בנובמבר 2010
מכּתביו
- דוד הראל, אלגוריתמיקה - יסודות מדעי המחשב, האוניברסיטה הפתוחה, 1991 (הספר במיזם פא"ר)
- דוד הראל, החמצת בגדול ביבי, פעמיים, באתר ynet, 24 באוגוסט 2011
- יהודית גל-עזר ודוד הראל, מקצוע העתיד בסכנה, באתר הארץ, 16 בספטמבר 2011
- דוד הראל, לישראל דרוש ניתוח מציל חיים, באתר ynet, 22 בדצמבר 2012
- דוד הראל, אולי נבנה פיל ממוחשב? הרצאה קצרה באתר 12 דקות
- דוד הראל, אני מפחד מנפתלי בנט, באתר וואלה!, 5 בפברואר 2015