משה ורדי
משה ורדי · טכנולוגיה והנדסה
ורדי היה חלוץ ביישום הלוגיקה המתמטית למדעי המחשב, מתורת מסדי הנתונים ועד אימות אוטומטי של חומרה ותוכנה.
1954, חיפה, ישראל
ישראל · ארצות הברית (יוסטון, Rice University)
ורדי היה חלוץ ביישום הלוגיקה המתמטית למדעי המחשב, מתורת מסדי הנתונים ועד אימות אוטומטי של חומרה ותוכנה. הוא נולד בחיפה להורים הונגרים ניצולי שואה, הפך ל-University Professor באוניברסיטת רייס וזכה בפרסי גדל וקנות'. שיטותיו משמשות לאימות נכונותן של מערכות מחשוב אמיתיות.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
ורדי היה חלוץ ביישום הלוגיקה המתמטית למדעי המחשב, מתורת מסדי הנתונים ועד אימות אוטומטי של חומרה ותוכנה.
מקור: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
