דוד הראל

דוד הראל
	דוד הראל (מימין) בכנס FLoC 2006
לידה	12 באפריל 1950 (בן 76); לונדון, הממלכה המאוחדת
תאריך עלייה	1957
מדינה	הממלכה המאוחדת, ; ישראל
השכלה	המכון הטכנולוגי של מסצ'וסטס (1978)
פרסים והוקרה	פרס ישראל (2004); עמית האקדמיה האמריקאית לאמנויות ולמדעים; פרס א.מ.ת. (2010); עמית החברה המלכותית (2020); Harlan D. Mills Award (2023); עמית באגודה האמריקאית לקידום המדע (2007); עמית ACM (1994); עמית IEEE; פרס ACM למערכת תוכנה (2007); פרס סטיבנס (1996) ;
	אתר רשמי
	2021–מכהן; (כ־5 שנים)
	→ נילי כהן
ענף מדעי	מדעי המחשב
מנחה לדוקטורט	ווהן רונלד פראט, Albert R. Meyer
תלמידי דוקטורט	דוד פלג, Marelly Rami, Eli Singerman, יוסי פלדמן, כרמל לירן, יהודה קורן, סול עפרוני, הלל קוגלר, רבקה זרחי-שרמן, ישי פלדמן, דני רז, דורון דרוסינסקי, רפי היימן, תרצה הירסט, רון אונגר, שחר מעוז
תרומות עיקריות
	עבודתו בתחומי הלוגיקה הדינמית, החישוביות והנדסת התוכנה

דוד הראל (נולד ב-12 באפריל 1950) הוא פרופסור למדעי המחשב במכון ויצמן למדע ונשיא האקדמיה הלאומית הישראלית למדעים. הראל הוא חתן פרס ישראל לשנת ה'תשס"ד 2004, וידוע בעיקר בזכות עבודתו בתחומי הלוגיקה הדינמית, החישוביות והנדסת התוכנה. היה דיקן הפקולטה למתמטיקה ולמדעי המחשב במכון ויצמן במשך שבע שנים.

ביוגרפיה

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

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

בעל תואר ראשון במתמטיקה ובמדעי המחשב מאוניברסיטת בר-אילן (1974), תואר שני במדעי המחשב מאוניברסיטת תל אביב בהנחיית אמיר פנואלי (1976) ותואר דוקטור מ-MIT ‏(1978). נושא מחקר הדוקטורט שלו היה לוגיקה דינמית. לאחר קבלת תואר דוקטור שהה שנתיים כפוסט-דוקטורט במרכז המחקר של IBM.

בשנת 1980 הצטרף לסגל של מכון ויצמן למדע. בשנים 1989–1995 עמד בראש המחלקה למתמטיקה שימושית ומדעי המחשב, ובשנים 1998–2005 היה דיקן הפקולטה למתמטיקה ומדעי המחשב.

בשנת 1983 נמנה עם מייסדי חברת "אד-קאד", שהוקמה על בסיס רעיון שלו.^[1] החברה החלה את דרכה במסגרת פרויקט ייעוץ לאפיון מערכות האוויוניקה והקשר של מטוס הלביא. לצורך הפרויקט פיתחה החברה שפת תכנות בשם statechart ושפת מפרט גרפית בשם Statemate. "אד-קאד" שולבה ב-1987 בחברת אם אמריקאית בשם "איי-לוגיקס" (I-Logix),^[2] והתוכנה של החברה שווקה בהצלחה ברחבי העולם.^[3] ב-2006 I-Logix נרכשה על ידי יצרנית התוכנה השוודית טללוג'יק (Telelogic),^[4] ששנה אחר כך נרכשה על ידי חברת IBM‏.^[5]^[6] בשנות ה-90 השפה גרפית שפיתח לתיאור תהליכים באמצעות מצבים, Statecharts, הפכה לחלק מתקן UML, במסגרת הפרק המתאר דיאגרמות מצבים.

בשנת 2004 הוענק לו פרס ישראל למדעי המחשב (ארבע שנים לאחר שאביו זכה בפרס זה בתחום חקר הספרות הכללית).^[7] בשנת 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 בשם "המחשב אינו כל-יכול".

ביום העצמאות של שנת 2020 הדליק משואה בטקס הדלקת משואות אלטרנטיבי.^[8] באפריל 2021, בעקבות כך ששר החינוך יואב גלנט סירב, תוך קבלת לגיטימציה מבג"ץ,^[9] להעניק את פרס ישראל לפרופ' עודד גולדרייך, עקב פנייתו לפרלמנט הגרמני לבטל את ההכרה בתנועת ה-BDS כתנועה אנטישמית וחתימתו על עצומה הקוראת להחרים את אוניברסיטת אריאל,^[10] נערך על מדשאות מכון ויצמן טקס פרטי שבו העניק הראל את פסלון הפרס שבו זכה בשנת 2004 לפרופ' גולדרייך.^[11]

בשנת 2021 החל לכהן כנשיא האקדמיה הלאומית הישראלית למדעים.^[12] ביולי 2025 פרסם בתפקידו זה גילוי דעת שבו קרא לממשלת ישראל "לפעול מייד, תוך כדי פיקוח ביטחוני הדוק, למניעת פגיעה בחיי אדם ברצועת עזה, להקלת הסבל האנושי שם, לשיקום תשתיות הבריאות והחיים הבסיסיות בה, לרבות זרימה סדירה של סיוע הומניטרי הכרחי, מזון, מים, ציוד רפואי, תרופות ודלק," וכן "לחתור ללא לאות להשגת הסכם מיידי לשחרורם ולהשבתם הבטוחה הביתה" של חמישים החטופים הישראלים המוחזקים בידי חמאס.^[13] בשנת 2025 יצא נגד מינויו של פרופ' דודי שוורץ לסגן יו"ר המועצה להשכלה גבוהה.^[14]

חיים אישיים

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

מנעוריו הוא צלם חובב, ובשנת 2020 הציג תערוכה מתצלומיו בספרייה ומרכז הנצחה קריית טבעון. באותה שנה הפיק יחד עם עידן טולדנו את האלבום "וּלְשׁוֹנֵנוּ רִנָּה", שבו הראל שר מלחניו לפיוטים מסורתיים של שבת וחג.^[15]^[16]

חברויות ציבוריות

2006 - חבר באקדמיה אירופיאה (Academia Europaea)
2010 - חבר באקדמיה הלאומית הישראלית למדעים.
2014 - חבר זר באקדמיה האמריקאית הלאומית להנדסה (National Academy of Engineering)
2014 - חבר זר באקדמיה האמריקאית לאמנויות ולמדעים (American Academy of Arts and Sciences)
2015 - סגן נשיא האקדמיה הלאומית הישראלית למדעים.
2019 - חבר זר באקדמיה הלאומית למדעים של ארצות הברית
2020 - עמית החברה המלכותית הבריטית (FRS)
2021 - נשיא האקדמיה הלאומית הישראלית למדעים, החל מא' בתשרי תשפ"ב.^[17]
2021 - חבר זר באקדמיה למדעים של סין (אנג')

הראל הוא עמית ACM, עמית IEEE ועמית ה-AAAS.

הראל היה חבר במועצה של הקרן החדשה לישראל.^[18]

בשנת 2023 נמנה עם מייסדי התנועה הדמוקרטית האזרחית.

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

מדיה וקבצים בנושא דוד הראל בוויקישיתוף

אתר האינטרנט הרשמי של דוד הראל
יהודית גל-עזר, פרופ' דוד הראל, חתן פרס ישראל, יועץ פיתוח לתחום מדעי המחשב באוניברסיטה הפתוחה
דוד הראל, באתר פרויקט הגנאלוגיה במתמטיקה
דוד הראל, באתר dblp
דוד הראל, באתר גוגל סקולר
סרטונים בערוץ של דוד הראל, באתר יוטיוב
דוד הראל באתר האקדמיה הלאומית הישראלית למדעים
פרופ' דוד הראל, באתר פרס ישראל
"דוד הראל, לשם מה אתה ממציא שפות חדשות?", באתר הארץ, 25 בנובמבר 2010
שחר אילן, נשיא האקדמיה למדעים: "מספיק גפרור קטן לפיצוץ בקמפוסים בארץ", באתר כלכליסט, 21 בדצמבר 2023

מכּתביו

דוד הראל, ‏אלגוריתמיקה - יסודות מדעי המחשב, האוניברסיטה הפתוחה, 1991
דוד הראל, החמצת בגדול ביבי, פעמיים, באתר ynet, 24 באוגוסט 2011
יהודית גל-עזר ודוד הראל, מקצוע העתיד בסכנה, באתר הארץ, 16 בספטמבר 2011
דוד הראל, לישראל דרוש ניתוח מציל חיים, באתר ynet, 22 בדצמבר 2012
דוד הראל, אולי נבנה פיל ממוחשב? הרצאה קצרה באתר 12 דקות
דוד הראל‏, אני מפחד מנפתלי בנט, באתר וואלה, 5 בפברואר 2015
דוד הראל ועודה בשאראת, הגילוי הלא-נאות של השופטת וילנר, באתר הארץ, 7 ביוני 2018

הערות שוליים

↑ אהרן פריאל, לדעת מראש איך המוצר יעבוד, מעריב, 6 באוקטובר 1987
↑ אהרן פריאל, מגלה שגיאות - תוכנה ייחודית פותחה בישראל וזוכה להצלחה רבתי בארצות הברית. התוכנה מאפשרת ליצרנים של מסוסים ומכשירים מתוחכמים אחרים לחסוך מיליוני דולרים על ידי בדיקת המוצר על המחשב עוד בשלבי האיפיון שלו, אפילו לפני התכנון, מעריב, 16 במאי 1989
↑ אלה יעקבי, ‏תוכנה שפותחה בישראל מסייעת לתכנון מכוניות העתיד של קרייזלר, באתר גלובס, 17 בנובמבר 1998רוני ליפשיץ, ‏I-Logix גייסה 3 מיליון דולר לשיווק תוכנה שפותחה בישראל, באתר גלובס, 8 באוקטובר 1998
רוני ליפשיץ, ‏חברת התוכנה איי-לוג'יקס גייסה 10.5 מיליון דולר, באתר גלובס, 7 בדצמבר 1999
↑ Telelogic snaps up I-Logix - Embedded.com, Embedded.com, ‏7 במרץ 2006
↑ סוכניות הידיעות, ‏IBM הציעה לרכוש את טללוג'יק ב-745 מיליון ד', באתר גלובס, 12 ביוני 2007
רפאל פוגל, יבמ תשלם 745 מיליון דולר במזומן תמורת Telelogic השוודית; החברה מפעילה מרכז פיתוח ברחובות, באתר TheMarker‏, 11 ביוני 2007
↑ גיא גרימלנד, יבמ השלימה רכישת Telelogic השוודית ב-845 מיליון דולר, באתר הארץ, 7 באפריל 2008
↑ אנשיל פפר, פרס ישראל במדעי המחשב - לפרופ' דוד הראל, באתר הארץ, 2 בפברואר 2004
↑ יוטיוב, טקס הדלקת משואות אלטרנטיבי, 28 באפריל 2020
↑ בג"ץ 2199/21 ועדת השופטים להענקת פרס ישראל לשנת תשפ"א בתחום חקר המתמטיקה, חדר מדעי המחשב נ' שר החינוך ואחרים, ניתן ב־8 באפריל 2021
↑ אור קשתי, פרופ' גולדרייך: גלנט חיפש תירוצים, פרס ישראל נמנע ממני רק בגלל דעותיי השמאלניות, באתר הארץ, 11 באפריל 2021
↑ דוד הראל, פרס ישראל לעודד גולדרייך, 11 באפריל 2021
Prof. Goldreich's Alternative Israel Prize Award ceremony טקס פרס ישראל אלטרנטיבי לפרופ' גולדרייך, סרטון באתר יוטיוב (אורך: 24:57)
↑ אור קשתי, האקדמיה הלאומית למדעים בחרה בפרופ' דוד הראל ממכון ויצמן לנשיא, באתר הארץ, 16 ביוני 2021
↑ גילוי דעת מאת נשיא האקדמיה: בלימת המשבר ההומניטרי ברצועת עזה ושחרור החטופים – צו מוסרי לאומי, באתר האקדמיה הלאומית הישראלית למדעים, 14 ביולי 2025
↑ תגובת נשיא האקדמיה פרופ' דוד הראל למינוי פרופ' דודי שוורץ לתפקיד סגן יו"ר המל"ג, 30 בספטמבר 2025
↑ אריאנה מלמד, יש שפה מתימטית על שמו, הוא מלחין מוזיקה ליטורגית ועכשיו פתח תערוכה, באתר הארץ, 29 ביולי 2020
↑ סרטונים בערוץ של דוד הראל, באתר יוטיוב
* ולשוננו רנה - דוד הראל ועידן טולדנו בשיחה על אחורי הקלעים של האלבום, סרטון באתר יוטיוב
↑ נשיא וסגנית נשיא חדשים לאקדמיה הלאומית הישראלית למדעים, 7 חברים וחברות חדשים מצטרפים לאקדמיה, באתר האקדמיה הלאומית הישראלית למדעים, 15 ביוני 2021
↑ אתר הקרן החדשה לישראל

[מעריב-1] אהרן פריאל, לדעת מראש איך המוצר יעבוד, מעריב, 6 באוקטובר 1987

[2] אהרן פריאל, מגלה שגיאות - תוכנה ייחודית פותחה בישראל וזוכה להצלחה רבתי בארצות הברית. התוכנה מאפשרת ליצרנים של מסוסים ומכשירים מתוחכמים אחרים לחסוך מיליוני דולרים על ידי בדיקת המוצר על המחשב עוד בשלבי האיפיון שלו, אפילו לפני התכנון, מעריב, 16 במאי 1989

[3] אלה יעקבי, ‏תוכנה שפותחה בישראל מסייעת לתכנון מכוניות העתיד של קרייזלר, באתר גלובס, 17 בנובמבר 1998רוני ליפשיץ, ‏I-Logix גייסה 3 מיליון דולר לשיווק תוכנה שפותחה בישראל, באתר גלובס, 8 באוקטובר 1998
רוני ליפשיץ, ‏חברת התוכנה איי-לוג'יקס גייסה 10.5 מיליון דולר, באתר גלובס, 7 בדצמבר 1999

[4] Telelogic snaps up I-Logix - Embedded.com, Embedded.com, ‏7 במרץ 2006

[5] סוכניות הידיעות, ‏IBM הציעה לרכוש את טללוג'יק ב-745 מיליון ד', באתר גלובס, 12 ביוני 2007
רפאל פוגל, יבמ תשלם 745 מיליון דולר במזומן תמורת Telelogic השוודית; החברה מפעילה מרכז פיתוח ברחובות, באתר TheMarker‏, 11 ביוני 2007

[6] גיא גרימלנד, יבמ השלימה רכישת Telelogic השוודית ב-845 מיליון דולר, באתר הארץ, 7 באפריל 2008

[7] אנשיל פפר, פרס ישראל במדעי המחשב - לפרופ' דוד הראל, באתר הארץ, 2 בפברואר 2004

[8] יוטיוב, טקס הדלקת משואות אלטרנטיבי, 28 באפריל 2020

[9] בג"ץ 2199/21 ועדת השופטים להענקת פרס ישראל לשנת תשפ"א בתחום חקר המתמטיקה, חדר מדעי המחשב נ' שר החינוך ואחרים, ניתן ב־8 באפריל 2021

[10] אור קשתי, פרופ' גולדרייך: גלנט חיפש תירוצים, פרס ישראל נמנע ממני רק בגלל דעותיי השמאלניות, באתר הארץ, 11 באפריל 2021

[11] דוד הראל, פרס ישראל לעודד גולדרייך, 11 באפריל 2021
Prof. Goldreich's Alternative Israel Prize Award ceremony טקס פרס ישראל אלטרנטיבי לפרופ' גולדרייך, סרטון באתר יוטיוב (אורך: 24:57)

[12] אור קשתי, האקדמיה הלאומית למדעים בחרה בפרופ' דוד הראל ממכון ויצמן לנשיא, באתר הארץ, 16 ביוני 2021

[13] גילוי דעת מאת נשיא האקדמיה: בלימת המשבר ההומניטרי ברצועת עזה ושחרור החטופים – צו מוסרי לאומי, באתר האקדמיה הלאומית הישראלית למדעים, 14 ביולי 2025

[14] תגובת נשיא האקדמיה פרופ' דוד הראל למינוי פרופ' דודי שוורץ לתפקיד סגן יו"ר המל"ג, 30 בספטמבר 2025

[15] אריאנה מלמד, יש שפה מתימטית על שמו, הוא מלחין מוזיקה ליטורגית ועכשיו פתח תערוכה, באתר הארץ, 29 ביולי 2020

[16] סרטונים בערוץ של דוד הראל, באתר יוטיוב
* ולשוננו רנה - דוד הראל ועידן טולדנו בשיחה על אחורי הקלעים של האלבום, סרטון באתר יוטיוב

[17] נשיא וסגנית נשיא חדשים לאקדמיה הלאומית הישראלית למדעים, 7 חברים וחברות חדשים מצטרפים לאקדמיה, באתר האקדמיה הלאומית הישראלית למדעים, 15 ביוני 2021

[18] אתר הקרן החדשה לישראל

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]