פרופ׳ זיאד חנא

מדען למחשבים ומומחה הייטק
פרופ׳ זיאד חנא ,מומחה עולמי בתחום פיתוח תוכנה למטרת הוכחת הנכונות של מעגלים אלקטרוניים הנמצאים בכל הצ’פים בעולם. הוכחת הנכונות מתבססת על תאוריה מתמטית ולוגית בשם אימות פורמלי – Formal Verification שבעזרתה אפשר לקצר את תהליכי הפיתוח המורכבים והבדיקות הדינמיות הארוכות של המעגלים בכמה סדרי גודל כך שהמוצר יעבוד נכון, בעלות נמוכה וביעילות ובזמן. מוצרים אלה נמצאים בחיינו כמעט בכל דבר, מטלפון חכם, מחשבים ניידים, רכבים מודרניים, תשתיות האינטרנט וכל הסוגים של SMART DEVICES. כיום זיאד משמש כסמנכ”ל עולמי מחקר ופיתוח בחברת , Cadence Design Systems ופרופסור אורח במחלקה למדעי מחשב באוניברסיטת אוקספורד.
הוא בוגר תואר ראשון ושני במתמטיקה ומדעי מחשב מאונ` ת`א, ותואר שלישי במדעי מחשב מאוניברסיטת אוקספורד באנגליה, שאליה הצטרף כחוקר מתחילת 2016.
פרופ׳ חנא יליד הכפר ראמה, ובן למשפחת פלטים מהכפר איקרת`, מתגורר ועובד בחיפה, בתחילת דרכו עסק בהוראה בכפר ראמה והביא לפתיחת מסלול התמחות של 15 יחידות במחשבים כבר בסוף שנות השמונים, מה שהביא לפריצה משמעותית במספר בוגרי מדעי המחשב בראמה עד היום.
הוא החל את הקריירה שלו בתחום השבבים בתחילת שנות התשעים, כשהצטרף לקבוצת פיתוח הכלים באינטל חיפה, מאז הפך לאיש מפתח בפיתוח כלי Formal Verification אשר שימשו כמעט בכל הדורות של מעבדי אינטל. עבד באינטל 17 שנים כמהנדס ראשי ומנהל בכיר, והגיע להשגים מרשימים וקבל פרס אינטל- INTEL ACHIEVMENT AWARD פעמיים - פרס שאינטל נותנת למצטיינם ביותר ברמת כל החברה.
פרופ׳ זיאד הוא חבר בכיר בארגון המהנדסים העולמי IEEE, בשנת 2007 עזב את אינטל ועבר לעמק הסילקון בקליפורניה, שם הצטרף לחברת סטארט- אפ צעירה יחסית בשם JASPER DESIGN AUTOMATION כסגן נשיא לפיתוח וכמהנדס ראשי. לאחר שהוביל את פיתוח הדור הבא של כלי ה- Formal Verification חזר לחיפה, והקים את המרכז של החברה בישראל, הרביעי אחרי ארה`ב שוודיה וברזיל. זיאד כהן מנכ”ל ג`ספר ישראל והוא ממשיך עם החברה לאחר שנרכשה ע`י CADENCE DESIGN SYSTEMS באמצע 2013 בתפקיד סמנכ”ל מחקר ופיתוח ואחראי על מרכזי פיתוח בחמש ארצות בעולם. הרכישה של JASPER LTD נחשבת לאיקזט הראשון של חברה מנוהלת ע”י מנכ”ל בחברה הערבית בישראל.
פרופ׳ חנא, פרסם יותר מ 30 מאמרים מדעים בתחומו, והשתתף ביותר מ 50 ועדות טכניות לקבלת מאמרים ופרסומם בכנסים מובילים בעולם, ומחזיק ב 10 פטנטים רשומים על המצאותיו, הוא שותף פעיל ותומך נלהב בעידוד החינוך הטכנולוגי ומצוינות בחברה הערבית, מרבה להופיע בפני תלמידים ומוסדות חינוכיים במטרה זו. זיאדהיה אחד מהמיסדים את שלוחת INDIANAPOLIS האקדימית בגליל וכהן ראש החוג למדעי המחשב, כיום הוא חבר בוועד המנהל במכללה האקדימית בנצרת, חבר במועצת Presentense לקדום היזמות בחברה הערבית, הוא משמש גם כן כיו`ר שותף למועצה הציבורית לקידום ההייטק בחברה הערבית במטרה להשיג מעל 10% מהעובדים בהייטק מהחברה הערבית, פורום אנשי תעשייה וחברה ערבים ויהודים, אשר גובש ע`י ארגון צופן מרכזי טכנולוגיה עילית.
עוד
עברית
אנגלית
ערבית
שפות
צָפוֹן
אזור מגורים
ראמה/חיפה
ישוב

פרופ׳ זיאד חנא

מדען למחשבים ומומחה הייטק
פרופ׳ זיאד חנא ,מומחה עולמי בתחום פיתוח תוכנה למטרת הוכחת הנכונות של מעגלים אלקטרוניים הנמצאים בכל הצ’פים בעולם. הוכחת הנכונות מתבססת על תאוריה מתמטית ולוגית בשם אימות פורמלי – Formal Verification שבעזרתה אפשר לקצר את תהליכי הפיתוח המורכבים והבדיקות הדינמיות הארוכות של המעגלים בכמה סדרי גודל כך שהמוצר יעבוד נכון, בעלות נמוכה וביעילות ובזמן. מוצרים אלה נמצאים בחיינו כמעט בכל דבר, מטלפון חכם, מחשבים ניידים, רכבים מודרניים, תשתיות האינטרנט וכל הסוגים של SMART DEVICES. כיום זיאד משמש כסמנכ”ל עולמי מחקר ופיתוח בחברת , Cadence Design Systems ופרופסור אורח במחלקה למדעי מחשב באוניברסיטת אוקספורד.
הוא בוגר תואר ראשון ושני במתמטיקה ומדעי מחשב מאונ` ת`א, ותואר שלישי במדעי מחשב מאוניברסיטת אוקספורד באנגליה, שאליה הצטרף כחוקר מתחילת 2016.
פרופ׳ חנא יליד הכפר ראמה, ובן למשפחת פלטים מהכפר איקרת`, מתגורר ועובד בחיפה, בתחילת דרכו עסק בהוראה בכפר ראמה והביא לפתיחת מסלול התמחות של 15 יחידות במחשבים כבר בסוף שנות השמונים, מה שהביא לפריצה משמעותית במספר בוגרי מדעי המחשב בראמה עד היום.
הוא החל את הקריירה שלו בתחום השבבים בתחילת שנות התשעים, כשהצטרף לקבוצת פיתוח הכלים באינטל חיפה, מאז הפך לאיש מפתח בפיתוח כלי Formal Verification אשר שימשו כמעט בכל הדורות של מעבדי אינטל. עבד באינטל 17 שנים כמהנדס ראשי ומנהל בכיר, והגיע להשגים מרשימים וקבל פרס אינטל- INTEL ACHIEVMENT AWARD פעמיים - פרס שאינטל נותנת למצטיינם ביותר ברמת כל החברה.
פרופ׳ זיאד הוא חבר בכיר בארגון המהנדסים העולמי IEEE, בשנת 2007 עזב את אינטל ועבר לעמק הסילקון בקליפורניה, שם הצטרף לחברת סטארט- אפ צעירה יחסית בשם JASPER DESIGN AUTOMATION כסגן נשיא לפיתוח וכמהנדס ראשי. לאחר שהוביל את פיתוח הדור הבא של כלי ה- Formal Verification חזר לחיפה, והקים את המרכז של החברה בישראל, הרביעי אחרי ארה`ב שוודיה וברזיל. זיאד כהן מנכ”ל ג`ספר ישראל והוא ממשיך עם החברה לאחר שנרכשה ע`י CADENCE DESIGN SYSTEMS באמצע 2013 בתפקיד סמנכ”ל מחקר ופיתוח ואחראי על מרכזי פיתוח בחמש ארצות בעולם. הרכישה של JASPER LTD נחשבת לאיקזט הראשון של חברה מנוהלת ע”י מנכ”ל בחברה הערבית בישראל.
פרופ׳ חנא, פרסם יותר מ 30 מאמרים מדעים בתחומו, והשתתף ביותר מ 50 ועדות טכניות לקבלת מאמרים ופרסומם בכנסים מובילים בעולם, ומחזיק ב 10 פטנטים רשומים על המצאותיו, הוא שותף פעיל ותומך נלהב בעידוד החינוך הטכנולוגי ומצוינות בחברה הערבית, מרבה להופיע בפני תלמידים ומוסדות חינוכיים במטרה זו. זיאדהיה אחד מהמיסדים את שלוחת INDIANAPOLIS האקדימית בגליל וכהן ראש החוג למדעי המחשב, כיום הוא חבר בוועד המנהל במכללה האקדימית בנצרת, חבר במועצת Presentense לקדום היזמות בחברה הערבית, הוא משמש גם כן כיו`ר שותף למועצה הציבורית לקידום ההייטק בחברה הערבית במטרה להשיג מעל 10% מהעובדים בהייטק מהחברה הערבית, פורום אנשי תעשייה וחברה ערבים ויהודים, אשר גובש ע`י ארגון צופן מרכזי טכנולוגיה עילית.
עוד

תחומי התמחות

אימות פורמלי,הנדסת חומרה, יזמות והייטק, ניהול חברות גלובליות, השכלה גבוהה וחינוך למדעים, הנפקות וחברות הזנק.

מה מניע אותי?

משפחתי היא הדינמו העיקרי בחיים שלי, איתם ועם הרצון וההתמדה להצטיינות אני מונע.
המלצות