MV
טכנולוגיה והנדסה
Moshe Vardi
מי
Moshe Vardi · טכנולוגיה והנדסה
מה
ורדי היה חלוץ ביישום הלוגיקה המתמטית למדעי המחשב, מתורת מסדי הנתונים ועד אימות אוטומטי של חומרה ותוכנה.
מתי
1954, Haifa, Israel
היכן
Israel · United States (Houston, Rice University)
ביוגרפיה
ורדי היה חלוץ ביישום הלוגיקה המתמטית למדעי המחשב, מתורת מסדי הנתונים ועד אימות אוטומטי של חומרה ותוכנה. הוא נולד בחיפה להורים הונגרים ניצולי שואה, הפך ל-University Professor באוניברסיטת רייס וזכה בפרסי גדל וקנות'. שיטותיו משמשות לאימות נכונותן של מערכות מחשוב אמיתיות.
מקורות וקישורים חיצוניים
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
Wikipedia — Moshe VardiRice University — Moshe Vardi biographyWikipediaWikipedia (EN)Encyclopaedia BritannicaJewish Virtual LibraryWikidata
מקור: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
תרומות ומקורות
ורדי היה חלוץ ביישום הלוגיקה המתמטית למדעי המחשב, מתורת מסדי הנתונים ועד אימות אוטומטי של חומרה ותוכנה.
2000
מקור: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
