דוד הראל
פרופסור למדעי המחשב במכון ויצמן למדע / ויקיפדיה האנציקלופדיה encyclopedia
דוד הראל (נולד ב-12 באפריל 1950) הוא פרופסור למדעי המחשב במכון ויצמן למדע, ונשיא האקדמיה הלאומית הישראלית למדעים. הראל הוא חתן פרס ישראל לשנת תשס"ד 2004, וידוע בעיקר בזכות עבודתו בתחומי הלוגיקה הדינמית, החישוביות והנדסת התוכנה. היה דיקן הפקולטה למתמטיקה ולמדעי המחשב במכון ויצמן במשך שבע שנים.
עובדות מהירות לידה, ענף מדעי ...
דוד הראל (מימין) בכנס FLoC 2006 | |
לידה |
12 באפריל 1950 (בן 74) לונדון, הממלכה המאוחדת |
---|---|
ענף מדעי | מדעי המחשב |
מקום מגורים | אנגליה, ישראל |
תאריך עלייה | 1957 |
מקום לימודים | המכון הטכנולוגי של מסצ'וסטס (1978) |
מנחה לדוקטורט | ווהן רונלד פראט, Albert R. Meyer |
מוסדות | מכון ויצמן למדע (1980) |
תלמידי דוקטורט | דוד פלג, Marelly Rami, Eli Singerman, יוסי פלדמן, כרמל לירן, Koren Yehuda, סול עפרוני, הלל קוגלר, רבקה זרחי-שרמן, ישי פלדמן, דני רז, Doron Drusinsky, רפי היימן, תרצה הירסט, רון אונגר, שחר מעוז |
פרסים והוקרה |
|
הערות | נשיא האקדמיה הלאומית הישראלית למדעים |
האתר הרשמי | |
תרומות עיקריות | |
עבודתו בתחומי הלוגיקה הדינמית, החישוביות והנדסת התוכנה | |
סגירה