דלג לתוכן (מקש קיצור 's')
Logo of Technion
Logo of CS Department
מידע כללי

חדשות

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

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

ברכות לארנה!

מסמכים

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