Moshe Vardi
Moshe Vardi · التكنولوجيا والهندسة
كان فاردي رائدًا في تطبيق المنطق الرياضي على علم الحاسوب، من نظرية قواعد البيانات إلى التحقّق الآلي من صحة العتاد والبرمجيات.
1954, حيفا, إسرائيل
إسرائيل · الولايات المتحدة (هيوستن, Rice University)
كان فاردي رائدًا في تطبيق المنطق الرياضي على علم الحاسوب، من نظرية قواعد البيانات إلى التحقّق الآلي من صحة العتاد والبرمجيات. وُلد في حيفا لأبوين مجريين ناجيَين من المحرقة، وصار أستاذًا جامعيًا في جامعة رايس وفاز بجائزتَي غودل وكنوث. وتُستخدم طرقه للتحقّق من صحة أنظمة حوسبة واقعية.
تحقّق وتعمّق عبر هذه المراجع الخارجية.
المصدر: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
تصدر هذه الصفحة بسبع لغات انطلاقًا من نص إنجليزي. والترجمات تُراجَع، لكن قد يفلت خطأ. إن وجدت خطأً في هذا الملف — كلمة خاطئة، تاريخ ضائع، جملة تقول ما لا يقوله الإنجليزي — فأخبرنا.
كان فاردي رائدًا في تطبيق المنطق الرياضي على علم الحاسوب، من نظرية قواعد البيانات إلى التحقّق الآلي من صحة العتاد والبرمجيات.
المصدر: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
