מנהל מרכז המו"פ של קיידנס בחיפה, ד"ר זיאד חנא, מונה למרצה באוקספורד
19 אפריל, 2016
חנא אחראי על תחום המו"פ של פלטפורמת האימות JasperGold שהצטרפה לקיידנס עם רכישת Jasper הישראלית ב-2014. מינויו נעשה במסגרת הרחבת קשרי האקדמיה של קיידנס
חנא אחראי על המו"פ של פלטפורמת האימות JasperGold שצורפה לקיידנס עם רכישת Jasper הישראלית ב-2014. מינויו נעשה במסגרת הרחבת קשרי האקדמיה
במסגרת הסכם שיתוף הפעולה בין חברת קיידנס דיזיין סיסטמס (Cadence) ואוניברסיטת אוקספורד לקידום יזמות בתחום פיתוח האימות הפורמלי (Formal verification), מונה ד"ר זיאד חנא, למרצה אורח במחלקה למדעי המחשב של אוקספורד בשלוש השנים. חנא משמש כיום כסגן נשיא למחקר ופיתוח בקיידנס העולמית ומנהל מרכז הפיתוח של קיידנס בחיפה.
המינוי קשור גם למאמצים של קיידנס להרחיב את פעילותה באקדמיה, לצורך העברה דו-כיוונית של ידע. ד"ר זיאד חנא מביא לאוקספורד 25 שנות ניסיון בתעשייה. כיום הוא אחראי בקיידנס על תחום המו"פ של פלטפורמת האימות הפורמלית JasperGold, שהצטרפה לפורטפוליו המוצרים של קיידנס עם רכישתה בשנת 2014 של חברת Jasper Design Automation הישראלית, ספקית פתרונות אנליזה פורמלית.
לפני הצטרפותו לקיידנס, שימש כמהנדס ראשי בכיר ומנהל קבוצות פיתוח באינטל בתחום האימות הפורמלי של תכנוני מעגלים אלקטרוניים. כחבר בכיר במכון למהנדסי חשמל ואלקטרוניקה (IEEE), ייעץ לעשרות פרויקטי מחקר ופיתוח, הרצה על חזונו לקידום תחום האלקטרוניקה בעשרות פורומים בתעשייה ובאקדמיה וכיהן ביותר מ-50 ועדות שעסקו בהמשך קידום המחקר האקדמי.
בנוסף, כתב במשותף עם חוקרים נוספים כ-30 מאמרים מקצועיים וחתום על 15 פטנטים פטנטים בארה"ב. ד"ר חנא מחזיק בתארים ראשון ושני במתמטיקה ומדעי המחשב מאוניברסיטת תל אביב ובדוקטורט במדעי המחשב מאוניברסיטת אוקספורד.
מחלקת האימות הפורמלי באוניברסיטת אוקספורד (Oxford’s Automated Verification Group) שוכנת במחלקה למדעי המחשב ונחשבת לאחת מקבוצת המחקר הגדולות והחזקות בתחום זה ברחבי העולם. היא פעילה בטווח רחב של נושאים: חקירת נתוני הבסיס של הטכנולוגיה, בדיקות מודלים, הכנת תכנונים ושיטות פרקטיות המותאמות לעולם האמיתי ועוד.
"זה כבוד גדול עבורי לעבוד עם צוות המחלקה למדעי המחשב באוניברסיטת אוקספורד ולשתף פעולה בצורה הדוקה עם צוות החוקרים המנוסה של המחלקה בתחום האימות. שיתוף הפעולה מתוכנן לקדם את החדשנות בתחום הפורמל ולאתר כשרונות צעירים באוניברסיטה לעבודה עתידית בקיידנס", אמר ד"ר זיאד חנא עם מינויו.