ליצירת קשר | English | للصفحة باللغة العربية |

פרופ' דוד הראל

תקציר קורות חיים
פרופסור למדעי המחשב במכון ויצמן למדע. בשנים 1995-1989 עמד בראש המחלקה למתמטיקה שימושית ומדעי המחשב במכון ויצמן, ובשנים 2005-1998 היה דיקן הפקולטה למתמטיקה ומדעי המחשב בַּמכון. בעבר עסק במגוון תחומים במדעי המחשב התאורטיים, וכיום תחומי המחקר העיקריים שלו הם שפות ושיטות להנדסת תוכנה ומערכות, ומידוּל של מערכות ביולוגיות. פרופ' הראל פיתח שפה גרפית לתיאור דינמיקה של מערכות, הנקראת Statecharts ונמצאת בשימוש נרחב בתעשייה ברחבי העולם.
פרופ' הראל הוא חתן פרס ישראל לשנת תשס"ד, פרס ACM למערכת תוכנה לשנת תשס"ז (הוא חָלַק את הפרס עם שבעה עמיתים) ופרס א.מ.ת לשנת 2010. בשנת תש"ע נבחר לאקדמיה הלאומית הישראלית למדעים.
בעל תואר שלישי במדעי המחשב מ-MIT – המכון הטכנולוגי של מסצ'וסטס, 1978.
 
(מעודכן לשנת 2014)