הפקולטה למדעי המחשב מברכת את פרופ' ארנה גרימברג על קבלת פרס cav-award - הפרס החשוב ביותר בתחום Formal Verification. ארנה קיבלה את הפרס ביחד עם פרופ' אדמונד קלארק ואחרים על פיתוח ויישום של טכניקת CEGAR.

מצורף נימוק מפורט להענקת הפרס.

ברכות לארנה![בחזרה לאינדקס החדשות]