https://www.yisraelpedia.com/index.php?action=history&feed=atom&title=%D7%90%D7%A8%D7%A0%D7%94_%D7%92%D7%A8%D7%99%D7%9E%D7%91%D7%A8%D7%92ארנה גרימברג - היסטוריית גרסאות2026-09-14T10:23:21Zהיסטוריית הגרסאות של הדף הזה בוויקיMediaWiki 1.43.8https://www.yisraelpedia.com/index.php?title=%D7%90%D7%A8%D7%A0%D7%94_%D7%92%D7%A8%D7%99%D7%9E%D7%91%D7%A8%D7%92&diff=426720&oldid=previmported>הנדב הנכון ב־22:42, 20 במרץ 20262026-03-20T22:42:33Z<p></p>
<p><b>דף חדש</b></p><div>{{מדען}}<br />
'''ארנה גרימברג''' (נולדה ב- [[14 במאי]] [[1952]]) היא [[פרופסור אמריטה]] ב[[הפקולטה למדעי המחשב (הטכניון)|פקולטה למדעי המחשב]] ב[[הטכניון|טכניון]]. מתמחה בין היתר ב[[אימות תוכנה|אימות אוטומטי של חומרה ותוכנה]], מודולריות ואבסטרקציה, [[לוגיקה טמפורלית]], [[בדיקת מודל מבוזרת]], שקילויות ויחסי סדר בין מבנים, אימות מונחה-SAT, משחקי אימות תוכנה. ספרה Model Checking הוא אחד הספרים החשובים בתחום האימות האוטומטי. עבודותיה על אבסטרקציה ומודולריות זכו להשפעה רבה. <br />
<br />
== קורות חיים ==<br />
ארנה גרימברג נולדה ב[[חדרה]]. סיימה [[תואר ראשון]] (B.Sc, 1976.), [[תואר שני]] (M.Sc, 1978) ו[[דוקטורט]] (Ph.D. 1984) בפקולטה למדעי המחשב ב[[הטכניון|טכניון]] והיא חברת סגל מאז 1984. הדוקטורט שלה נעשה בהנחייתם של פרופ' [[שמואל כץ (מדען מחשב)|שמואל כץ]] ופרופ' [[נסים פרנסיז]]. היא החזיקה במשרת [[בתר-דוקטורט]] ב-1985–1987 ב[[אוניברסיטת קרנגי-מלון]] בקבוצות של פרופ' אדמונד קלארק. מאז 2013 היא חברה ב-Academia Europaea. <br />
<br />
גרימברג שימשה בתפקידים מקצועיים ואדמיניסטרטיביים רבים. הייתה [[דיקנית]] בית הספר ללימודי מוסמכים בטכניון. הייתה יושבת ראש הוועדה המארגנת (Program committe chair) של CAV בשנת 1997 ושל TACAS בשנת 2007, ושימשה כחברת ועדה מארגנת של כנסים מובילים רבים כגון FMCAD ו-LICS.<br />
<br />
== ספרים שכתבה ==<br />
<div class="mw-content-ltr"><br />
* Model Checking, Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled, MIT Press, 1999, {{ISBN|0-262-03270-8}}.<br />
* E.M. Clarke, O. Grumberg, D. Kroening, D. Peled, H. Veith: “Model Checking - second edition”, MIT Press, December 2018.<br />
</div><br />
<br />
==קישורים חיצוניים==<br />
{{ויקישיתוף בשורה}}<br />
{{אתר רשמי|https://orna.cswp.cs.technion.ac.il|אתר רשמי של ארנה גרימברג|אנגלית}}<br />
* [https://orna.cswp.cs.technion.ac.il פרופ' ארנה גרימברג], באתר [[הטכניון]]<br />
{{פרופילי מדענים}}<br />
<br />
{{בקרת זהויות}}<br />
{{קצרמר|ישראלים}}<br />
<br />
{{מיון רגיל:גרימברג, ארנה}}<br />
[[קטגוריה:סגל הטכניון: מדעי המחשב]]<br />
[[קטגוריה:מדעניות מחשב ישראליות]]<br />
[[קטגוריה:בעלות תואר דוקטור מהטכניון - מכון טכנולוגי לישראל]]<br />
[[קטגוריה:בעלי תואר דוקטור מהטכניון - מכון טכנולוגי לישראל]]<br />
[[קטגוריה:ישראליות שנולדו ב-1952]]<br />
[[קטגוריה:ישראלים שנולדו ב-1952]]</div>imported>הנדב הנכון