MV
التكنولوجيا والهندسة
Moshe Vardi
Who
Moshe Vardi · التكنولوجيا والهندسة
What
كان فاردي رائدًا في تطبيق المنطق الرياضي على علم الحاسوب، من نظرية قواعد البيانات إلى التحقّق الآلي من صحة العتاد والبرمجيات.
When
1954, Haifa, Israel
Where
Israel · United States (Houston, Rice University)
السيرة الذاتية
كان فاردي رائدًا في تطبيق المنطق الرياضي على علم الحاسوب، من نظرية قواعد البيانات إلى التحقّق الآلي من صحة العتاد والبرمجيات. وُلد في حيفا لأبوين مجريين ناجيَين من المحرقة، وصار أستاذًا جامعيًا في جامعة رايس وفاز بجائزتَي غودل وكنوث. وتُستخدم طرقه للتحقّق من صحة أنظمة حوسبة واقعية.
Sources & external links
Verify and go deeper with these external references.
Wikipedia — Moshe VardiRice University — Moshe Vardi biographyWikipediaEncyclopaedia BritannicaJewish Virtual LibraryWikidata
المصدر: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
المساهمات والمصادر
كان فاردي رائدًا في تطبيق المنطق الرياضي على علم الحاسوب، من نظرية قواعد البيانات إلى التحقّق الآلي من صحة العتاد والبرمجيات.
2000
المصدر: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
