ארנה גרימברג

מדענית מחשב ישראלית

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

ארנה גרימברג
לידה 14 במאי 1952 (בת 72)
חדרה, ישראל עריכת הנתון בוויקינתונים
ענף מדעי מדעי המחשב, מדעי האינפורמציה עריכת הנתון בוויקינתונים
מקום לימודים הטכניון – מכון טכנולוגי לישראל עריכת הנתון בוויקינתונים
מנחה לדוקטורט שמואל כץ, נסים פרנסיז עריכת הנתון בוויקינתונים
מוסדות הטכניון – מכון טכנולוגי לישראל עריכת הנתון בוויקינתונים
תלמידי דוקטורט Tamir Heyman, אורנה קופרמן, שרון שוהם בוכבינדר, Karen Yorav, Doron Bustan, Avraham Yadgar עריכת הנתון בוויקינתונים
פרסים והוקרה עמית ACM (2015) עריכת הנתון בוויקינתונים
אתר רשמי
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית

ארנה גרימברג סיימה תואר ראשון (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.
  • Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut (2000), "Counterexample-Guided Abstraction Refinement", Computer Aided Verification 1855: 154, doi:10.1007/10722167_15

קישורים חיצוניים

עריכה
  ערך זה הוא קצרמר בנושא ישראלים. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.