דוד הראל

דוד הראל נולד ב-1950 בלונדון

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

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

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

ב-1980 הצטרף למכון ויצמן, בשנים 1989-1995 עמד בראש המחלקה למתמטיקה שימושית ומדעי המחשב, ובשנים 1998-2005 היה דיקן הפקולטה למתמטיקה ומדעי המחשב. בשנות ה-80 פיתח את Statecharts, שפה גרפית למערכות תגובתיות שהפכה לחלק מתקן UML. ב-1983 היה ממייסדי חברת ״אד-קאד״, שב-1987 שולבה בחברת ״איי-לוגיקס״.

הוא כתב ספרים על מדעי המחשב לקהל הרחב והגיש סדרות ברדיו ובטלוויזיה. ב-2004 קיבל את פרס ישראל, והוא פעיל בארגוני שלום וזכויות אדם. ב-2021 העניק את פסלון פרס ישראל שלו לעודד גולדרייך בטקס פרטי.