פייר וולפר
פייר וולפר · טכנולוגיה והנדסה
וולפר, מדען מחשב בלגי ממוצא יהודי באוניברסיטת ליאז', פיתח יחד עם אחרים את הגישה מבוססת-האוטומטים לבדיקת מודלים, בשימוש באוטומטים סופיים ובלוגיקה טמפורלית לאימות אוטומטי של התנהגות תקינה של מערכות מחשב וחומרה.
2000
בלגיה (Liège — University of Liège)
וולפר, מדען מחשב בלגי ממוצא יהודי באוניברסיטת ליאז', פיתח יחד עם אחרים את הגישה מבוססת-האוטומטים לבדיקת מודלים, בשימוש באוטומטים סופיים ובלוגיקה טמפורלית לאימות אוטומטי של התנהגות תקינה של מערכות מחשב וחומרה. הוא חלק בפרס גדל ב-2000 ובהמשך שימש רקטור אוניברסיטתו.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jewish recipients of the Gödel Prize
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
וולפר, מדען מחשב בלגי ממוצא יהודי באוניברסיטת ליאז', פיתח יחד עם אחרים את הגישה מבוססת-האוטומטים לבדיקת מודלים, בשימוש באוטומטים סופיים ובלוגיקה טמפורלית לאימות אוטומטי של התנהגות תקינה של מערכות מחשב וחומרה.
מקור: Jinfo.org — Jewish recipients of the Gödel Prize
