موشيه فاردي

موشيه يعقوب فاردي ( بالعبرية : משה יעקב ורדי ) حاصل على ماجستير في الهندسة الميكانيكية وعضو في الجمعية الملكية للأبحاث ^{[ 5 ]} ، هو عالم حاسوب نظري إسرائيلي . يشغل منصب أستاذ كارين أوستروم جورج المتميز في الهندسة الحاسوبية بجامعة رايس ، الولايات المتحدة الأمريكية ^{[ 6 ] [ 3 ] [ 7 ]} ، وهو مستشار أكاديمي لمعهد كين كينيدي ^{[ 8 ]} . تنصب اهتماماته على تطبيقات المنطق في علوم الحاسوب، بما في ذلك نظرية قواعد البيانات ، ونظرية النماذج المحدودة ، ومعرفة أنظمة الوكلاء المتعددين ، والتحقق والاستدلال بمساعدة الحاسوب، وتدريس المنطق في مختلف المناهج الدراسية. وهو خبير في التحقق من النماذج ، وإرضاء القيود، ونظرية قواعد البيانات ، والمعرفة العامة (المنطق) ، وعلوم الحاسوب النظرية ^{[ 9 ] [ 10 ]} .

ألف فاردي أو شارك في تأليف أكثر من 700 ورقة بحثية تقنية ^{[ 3 ]} ، بالإضافة إلى تحريره العديد من المجموعات. وقد ألّف كتابي "الاستدلال حول المعرفة " ^{[ 11 ]} بالاشتراك مع رونالد فاجين ، وجوزيف هالبرن ، ويورام موسى ، و" نظرية النموذج المحدود وتطبيقاتها" ^{[ 12 ]} بالاشتراك مع إريك غرادل، وفوكيون جي. كولايتيس ، وليونيد ليبكين ، ومارتن ماركس، وجويل سبنسر ، ويدي فينيما، وسكوت واينشتاين. وهو محرر أول في مجلة "اتصالات رابطة مكائن ​​الحوسبة" (ACM) ، بعد أن شغل منصب رئيس تحريرها لعقد من الزمن. ^{[ 13 ]}

كان فاردي طالبًا جامعيًا في جامعة بار إيلان، وحصل على درجة الماجستير في العلوم من معهد وايزمان للعلوم . ^{[ 1 ]} أشرف على أطروحته للدكتوراه كاتريل بيري، ومنحته الجامعة العبرية في القدس درجة الدكتوراه عام 1981. ^{[ 4 ]}

تتركز اهتمامات فاردي البحثية في المنطق والحوسبة . ^{[ 3 ]} شغل منصب رئيس قسم علوم الحاسوب في جامعة رايس من يناير 1994 حتى يونيو 2002. قبل انضمامه إلى جامعة رايس عام 1993، عمل في قسم الأبحاث بشركة آي بي إم ، وكان أيضًا باحثًا ما بعد الدكتوراه في جامعة ستانفورد . ^{[ 5 ]} يعمل فاردي محررًا في العديد من المجلات الدولية، وكان سابقًا مديرًا للاتحاد الدولي للمنطق الحسابي المحدود. ^{[ 14 ]} كما شارك في رئاسة فريق عمل جمعية آلات الحوسبة (ACM) المعني بهجرة الوظائف .

الجوائز والتكريمات

حصل فاردي على ثلاث جوائز IBM للابتكار المتميز، وفاز بجائزة غودل لعام 2000 (لعمله في المنطق الزمني مع الأوتوماتا المحدودة )، وفاز بجائزة كنوت في عام 2021، وفاز بجائزة باريس كانيلاكس في عام 2005، وفاز بجائزة اختبار الزمن LICS لعام 2006. وهو أيضًا حاصل على جائزة ACM الرئاسية لعامي 2008 و2017، وميدالية بليز باسكال لعام 2008 في علوم الحوسبة ^{[ 15 ]} من الأكاديمية الأوروبية للعلوم، ^{[ 16 ]} وجائزة الخدمة المتميزة لعام 2010 من جمعية أبحاث الحوسبة، وجائزة هاري إتش جود التذكارية لعام 2011 من جمعية الحاسبات التابعة لمعهد مهندسي الكهرباء والإلكترونيات (IEEE) ، ومجموعة الاهتمام الخاصة بالمنطق والحوسبة (SIGLOG) التابعة لـ ACM لعام 2018 ، وجائزة الخدمات المتميزة من الرابطة الأوروبية لعلوم الحاسوب النظرية (EATCS)، ^{[ 17 ]} والرابطة الأوروبية لمنطق علوم الحاسوب (EACSL)، وجائزة ألونسو تشيرش التي ترعاها جمعية كورت غودل (KGS) بشكل مشترك للمساهمات المتميزة في المنطق والحوسبة (مع توماس فيدر). في عام 2025، حصل فاردي على جائزة القيادة المتميزة ^{من اللجنة الفنية للعلوم الإنسانية السيبرانية التابعة} لمعهد مهندسي الكهرباء والإلكترونيات (IEEE TCCH ) ^{[ 18 ] ، والتي قُدّمت خلال مؤتمر IEEE للعلوم الإنسانية السيبرانية 2025 [ 20 ]} في فلورنسا، تقديرًا لريادته في مجال التقاء علوم الحاسوب والعلوم الإنسانية. كما يحمل فاردي شهادات دكتوراه فخرية من ثماني جامعات.

1. جامعة سارلاند ، ألمانيا ^{[ 5 ]}
2. جامعة أورليانز ^{[ 5 ]}
3. جامعة غرونوبل ألب (UGA) في فرنسا ^{[ 21 ]}
4. جامعة ريو غراندي دو سول الفيدرالية (UFRGS) في البرازيل ^{[ 22 ]}
5. جامعة لييج في بلجيكا ^{[ 23 ]}
6. جامعة فيينا التقنية في النمسا
7. جامعة إدنبرة في اسكتلندا ^{[ 24 ]}
8. جامعة غوتنبرغ في السويد ^{[ 25 ]}

فاردي زميل في مؤسسة غوغنهايم ، وزميل في جمعية آلات الحوسبة (ACM) ، وزميل في الجمعية الأمريكية للذكاء الاصطناعي (AAAI )، ^{[ 26 ]} وزميل في الجمعية الأمريكية لتقدم العلوم ، وعضو أجنبي في الجمعية الملكية (ForMemRS). وقد صنّفه معهد المعلومات العلمية كباحث ذي استشهادات عالية ، وانتُخب عضوًا في الأكاديمية الوطنية الأمريكية للهندسة ، والأكاديمية الوطنية للعلوم ، ^{[ 2 ] [ 27 ]} والأكاديمية الأوروبية للعلوم، وأكاديمية أوروبا (MAE). ^{[ 5 ]} وانتُخب زميلًا في الأكاديمية الأمريكية للفنون والعلوم عام 2010. ^{[ 28 ]} كما أُدرج اسمه ضمن دفعة زملاء الجمعية الأمريكية للرياضيات لعام 2019 "لمساهماته في تطوير واستخدام المنطق الرياضي في علوم الحاسوب". ^{[ 29 ]}

حصل فاردي على جائزة الأكاديمية الوطنية للذكاء الاصطناعي لعام 2026 لأبحاثه الرائدة في مجال الذكاء الاصطناعي القائم على المنطق والاستدلال الرسمي. ^{[ 30 ]}

يعيش فاردي مع زوجته باميلا غيير في منطقة هيوستن . (اعتبارًا من مارس 2013، كان يعيش في " بيلاير، تكساس "، ^{[ 17 ]} وهي ضاحية من ضواحي هيوستن). ابن زوجته آرون هيرتزمان ^{[ 31 ]} هو أيضًا عالم حاسوب في شركة أدوبي للأبحاث .

فاردي صهيوني، ومُدرج اسمه ضمن الموقعين على رسالة مناهضة للمقاطعة الأكاديمية بعنوان "متحدون ضد المقاطعة الأكاديمية لإسرائيل"، والتي تنكر وقوع أي إبادة جماعية في فلسطين ، ^{[ 32 ]} على الرغم من تحقيق أجرته لجنة دولية مستقلة تابعة للأمم المتحدة ^{[ 33 ]} والرابطة الدولية لعلماء الإبادة الجماعية، والتي أكدت استيفاء التعريف القانوني للإبادة الجماعية وفقًا لاتفاقية منع جريمة الإبادة الجماعية والمعاقبة عليها . ^{[ 34 ]} يدعم فاردي حل الدولتين ^{[ 35 ]} ، وقد خدم خمس سنوات في جيش الدفاع الإسرائيلي وشارك في حربين. ^{[ 36 ] [ 37 ]} وصف فاردي حملات المقاطعة ضد إسرائيل في الجامعات بأنها "بغيضة للغاية". ^{[ 38 ]}