ברכות לפרופ' גיא כץ מביה"ס להנדסה ולמדעי המחשב, על זכייתו בפרס CAV היוקרתי. הפרס הוענק לכץ עבור מחקרו בתחום אימות רשתות עצביות. פרסי CAV מוענקים מדי שנה בכנס בינלאומי לחוקרים מצטיינים בתחום האימות בעזרת מחשב (Computer-Aided Verification)