Go Top
דלג לתוכן (מקש קיצור 's')
מידע כללי
אודות הפקולטה
חדשות
מגזין
יצירת קשר
ספרית מדמ"ח
שירותי מחשוב
מיתוג
קישורים שימושיים
אנשים
חברי סגל
סטודנטים
צוות
מדריך טלפונים
בוגרים
הצעות משרה (אנגלית)
אקדמי
קורסים
לוח זמני הוראה
תואר ראשון
תואר שני ושלישי
מחקר
תחומי מחקר
מעבדות ומרכזי מחקר
תיזות ודו"חות טכניים
אירועים
אירועים (אנגלית)
קולוקוויום וסמינרים (אנגלית)
מידע כללי
חדשות
פרופ' ארנה גרימברג קיבלה את פרס CAV 2015
יום חמישי, יולי 23, 2015
הפקולטה למדעי המחשב מברכת את פרופ'
ארנה גרימברג
על קבלת פרס
cav-award
- הפרס החשוב ביותר בתחום Formal Verification. ארנה קיבלה את הפרס ביחד עם פרופ' אדמונד קלארק ואחרים על פיתוח ויישום של טכניקת CEGAR.
מצורף נימוק מפורט להענקת הפרס.
ברכות לארנה!
מסמכים
2015-CAV-Award.pdf
[
בחזרה לאינדקס החדשות
]