Jump to content
החלפת מצב חיפוש
החלפת מצב תפריט
450K‏
15
3
1M‏
Pinkas
שינוי מצב תפריט ההעדפות
החלפת מצב תפריט אישי
לא בחשבון
כתובת ה־IP שלך תהיה גלויה לציבור אם תעשה עריכות כלשהן.

ארנה גרימברג

מתוך ויקיפדיה, האנציקלופדיה החופשית
פעולות נוספות
גרסה מ־22:42, 20 במרץ 2026 מאת imported>הנדב הנכון
(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)
ארנה גרימברג

ארנה גרימברג (נולדה ב- 14 במאי 1952) היא פרופסור אמריטה בפקולטה למדעי המחשב בטכניון. מתמחה בין היתר באימות אוטומטי של חומרה ותוכנה, מודולריות ואבסטרקציה, לוגיקה טמפורלית, בדיקת מודל מבוזרת, שקילויות ויחסי סדר בין מבנים, אימות מונחה-SAT, משחקי אימות תוכנה. ספרה Model Checking הוא אחד הספרים החשובים בתחום האימות האוטומטי. עבודותיה על אבסטרקציה ומודולריות זכו להשפעה רבה.

קורות חיים עריכה

ארנה גרימברג נולדה בחדרה. סיימה תואר ראשון (B.Sc, 1976.), תואר שני (M.Sc, 1978) ודוקטורט (Ph.D. 1984) בפקולטה למדעי המחשב בטכניון והיא חברת סגל מאז 1984. הדוקטורט שלה נעשה בהנחייתם של פרופ' שמואל כץ ופרופ' נסים פרנסיז. היא החזיקה במשרת בתר-דוקטורט ב-1985–1987 באוניברסיטת קרנגי-מלון בקבוצות של פרופ' אדמונד קלארק. מאז 2013 היא חברה ב-Academia Europaea.

גרימברג שימשה בתפקידים מקצועיים ואדמיניסטרטיביים רבים. הייתה דיקנית בית הספר ללימודי מוסמכים בטכניון. הייתה יושבת ראש הוועדה המארגנת (Program committe chair) של CAV בשנת 1997 ושל TACAS בשנת 2007, ושימשה כחברת ועדה מארגנת של כנסים מובילים רבים כגון FMCAD ו-LICS.

ספרים שכתבה עריכה

  • Model Checking, Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled, MIT Press, 1999, ISBN 0-262-03270-8.
  • E.M. Clarke, O. Grumberg, D. Kroening, D. Peled, H. Veith: “Model Checking - second edition”, MIT Press, December 2018.

קישורים חיצוניים עריכה

ויקישיתוף מדיה וקבצים בנושא [[commons:Category:{{#property:P373}}|ארנה גרימברג]] בוויקישיתוף

קובץ:Green globe.svg אתר האינטרנט הרשמי של אתר רשמי של ארנה גרימברג (באנגלית)

קובץ:Stub Israelis.png ערך זה הוא קצרמר בנושא ישראלים. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.
אוחזר מתוך "https://www.yisraelpedia.com/index.php?title=ארנה_גרימברג&oldid=426720"