Robert Kurshan
Robert Kurshan · טכנולוגיה והנדסה
קורשן, מדען מחשב אמריקאי הנמנה עם דמויות יהודיות במדעי המחשב, הביא את בדיקת המודלים מבוססת תורת האוטומטים מן התאוריה אל אימות החומרה התעשייתי.
2005
ארצות הברית
קורשן, מדען מחשב אמריקאי הנמנה עם דמויות יהודיות במדעי המחשב, הביא את בדיקת המודלים מבוססת תורת האוטומטים מן התאוריה אל אימות החומרה התעשייתי. במעבדות בל בנה כלים שאפשרו למהנדסים להוכיח פורמלית את נכונותם של מעגלים מורכבים. הוא חלק את פרס קנלקיס לשנת 2005 על הפיכת האימות הפורמלי למעשי.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jewish recipients of the Kanellakis Award
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
קורשן, מדען מחשב אמריקאי הנמנה עם דמויות יהודיות במדעי המחשב, הביא את בדיקת המודלים מבוססת תורת האוטומטים מן התאוריה אל אימות החומרה התעשייתי.
מקור: Jinfo.org — Jewish recipients of the Kanellakis Award
