פרופ' ארנה גרימברג קיבלה את פרס CAV 2015

Prof. Orna Grumberg Received the 2015 CAV Awardהפקולטה למדעי המחשב מברכת את פרופ' ארנה גרימברג על קבלת פרס cav-award - הפרס החשוב ביותר בתחום Formal Verification. ארנה קיבלה את הפרס ביחד עם פרופ' אדמונד קלארק ואחרים על פיתוח ויישום של טכניקת CEGAR.

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

ברכות לארנה!

מסמכים

בחזרה לאינדקס החדשות יום חמישי, יולי 23, 2015