ديفيد هاريل

ديفيد هاريل ( بالعبرية : דוד הראל ؛ وُلد في 12 أبريل 1950) عالم حاسوب، يشغل حاليًا منصب رئيس الأكاديمية الإسرائيلية للعلوم والآداب . وهو عضو هيئة تدريس في معهد وايزمان للعلوم في إسرائيل منذ عام 1980، ويحمل كرسي ويليام سوسمان للأستاذية في الرياضيات. وُلد في لندن، إنجلترا، وشغل منصب عميد كلية الرياضيات وعلوم الحاسوب في المعهد لمدة سبع سنوات.

يشتهر هاريل بأعماله في المنطق الديناميكي ، والحوسبة ، ونظرية قواعد البيانات ، وهندسة البرمجيات ، ونمذجة الأنظمة البيولوجية . في ثمانينيات القرن الماضي، ابتكر لغة Statecharts الرسومية لتحديد وبرمجة الأنظمة التفاعلية، والتي اعتُمدت كجزء من معيار UML . منذ أواخر التسعينيات، ركز على منهجية قائمة على السيناريوهات لبرمجة هذه الأنظمة، والتي انطلقت من خلال ابتكاره المشترك (مع دبليو دام) لمخططات التسلسل الحي . نشر هاريل كتبًا توضيحية في علوم الحاسوب، مثل كتابه الحائز على جوائز عام 1987 بعنوان "Algorithmics: The Spirit of Computing"، وكتابه عام 2000 بعنوان "Computers Ltd.: What They Really Can't do"، وقدم برامج عن علوم الحاسوب للإذاعة والتلفزيون الإسرائيليين. كما عمل على مواضيع متنوعة أخرى، مثل تصميم الرسوم البيانية ، وتعليم علوم الحاسوب ، والنمذجة البيولوجية، وتحليل الروائح والتواصل بشأنها .

أكمل هاريل دراسته للدكتوراه في معهد ماساتشوستس للتكنولوجيا بين عامي 1976 و1978. وفي عام 1987، شارك في تأسيس شركة البرمجيات "آي-لوجيكس" ، التي أصبحت جزءًا من شركة "آي بي إم" عام 2006. وقد دعا إلى بناء نموذج حاسوبي كامل للديدان الأسطوانية "كاينورابديتيس إليجانس "، التي كانت أول كائن متعدد الخلايا يتم تسلسل جينومه بالكامل. ويعتمد اكتمال هذا النموذج في نهاية المطاف على نسخته المُحدثة من اختبار تورينج . وهو زميل في جمعية آلات الحوسبة (ACM) ، ومعهد مهندسي الكهرباء والإلكترونيات (IEEE) ، والجمعية الأمريكية لتقدم العلوم (AAAS) ، والجمعية الأوروبية لعلوم الحاسوب (EATCS )، وعضو في العديد من الأكاديميات الدولية. كما ينشط هاريل في عدد من منظمات السلام وحقوق الإنسان في إسرائيل.

• جائزة ستيفنز لعام 1986 لأساليب تطوير البرمجيات
• جائزة ACM كارلستروم للمعلم المتميز لعام 1992 ^{[ 1 ]}
• زميل جمعية آلات الحوسبة لعام 1994 ^{[ 1 ]}
• زميل معهد مهندسي الكهرباء والإلكترونيات لعام 1995
• جائزة إسرائيل لعام 2004 ، في علوم الحاسوب ^{[ 2 ] [ 3 ]}
• 2005 دكتوراه فخرية ، جامعة رين ، فرنسا
• جائزة ACM SIGSOFT للبحوث المتميزة لعام 2006
• عضو في الأكاديمية الأوروبية لعام 2006 ^{[ 4 ]}
• 2006 دكتوراه (لورا) فخرية، جامعة ميلانو بيكوكا ، 18 مايو 2006 ^{[ 5 ]}
• 2006 زميل فخري، الجامعة المفتوحة في إسرائيل
• جائزة نظام البرمجيات ACM لعام 2007 ^{[ 1 ]}
• جائزة إيميت لعام 2010
• عضو في الأكاديمية الإسرائيلية للعلوم والآداب عام 2010 ^{[ 6 ]}
• دكتوراه فخرية، جامعة أيندهوفن للتكنولوجيا ، هولندا ، 2012
• عضو دولي في الأكاديمية الوطنية الأمريكية للهندسة لعام 2014 ^{[ 7 ]}
• عضو فخري دولي في الأكاديمية الأمريكية للفنون والعلوم لعام 2014 ^{[ 8 ]}
• عضو دولي في الأكاديمية الوطنية للعلوم بالولايات المتحدة لعام 2019. ^{[ 9 ]}
• زميل الجمعية الملكية لعام 2020 ^{[ 10 ]} (FRS)
• عضو أجنبي في الأكاديمية الصينية للعلوم لعام 2021
• جائزة هارلان دي ميلز لعام 2023 ^{[ 11 ]}

• قائمة الحائزين على جائزة إسرائيل
• أعضاء الأكاديمية الإسرائيلية للعلوم والآداب

• الصفحة الرئيسية لديفيد هاريل في معهد وايزمان للعلوم.
• تمت أرشفة مقال ديفيد هاريل في 16 ديسمبر 2015 على صفحة Wayback Machine في الأكاديمية الإسرائيلية للعلوم والإنسانيات.