משה ורדי (Moshe Y. Vardi)

ורדי תרם תרומות יסודיות ל-model checking (שיטות פורמליות לאימות תקינות מערכות-תוכנה) ולתיאוריית-מסדי-הנתונים, וזכה על כך בפרס גדל (2000) ובפרס קנות' (2021).

מעבר למחקר האקדמי שימש ורדי כעורך-ראשי של Communications of the ACM במשך עשור, ונחשב לקול משפיע בדיונים ציבוריים על עתיד-העבודה בעידן-ה-AI.