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

ארנה בלומנטל, ארנה בן⁻נפתלי, ארנה ברי, ארנה גולן, ארנה גרה, ארנה דאודורו, ארנה דאס דונאס, ארנה דה ביישאדה, ארנה דה ז'ובנטודה, ארנה דה סאו פאולו