שלושה חוקרים ישראלים מצטרפים ל-ACM

גרסת הדפסה

orna1
פרופ' ארנה גרימברג. צילום: דוברות הטכניון

ACM (Association for Computing Machinery), האגודה הגדולה והחשובה ביותר בתחום המיחשוב, הכריזה על צירוף של 42 מדענים מרחבי העולם לשורותיה כעמיתים חדשים, בהם הפרופסורים ארנה גרימברג ואסף שוסטר מהפקולטה למדעי המחשב בטכניון  ופרופ' מולי שגיב מאוניברסיטת תל אביב, הוא בוגר הפקולטה למדעי המחשב בטכניון, שבה השלים גם את הדוקטורט.. תוכנית העמיתים של אגודת המחשוב העולמית נוסדה כדי לציין תרומות יוצאות דופן של מנהיגים בעולם המחשוב.

 

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

פרופ' אסף שוסטר עוסק בחישוב מקבילי, מבוזר, מבוסס ענן, ובסולמיות (סקלביליות של חישובים). לדבריו, "הפוקוס המשמעותי שלי הוא עיבוד של מידע גדול, ובפרט של זרמי נתונים בזמן אמת, גם אם הם מגיעים בצורה מבוזרת גיאוגרפית. דוגמאות למערכות כאלו אפשר למצוא ברשתות סנסורים, בניטור של רשתות מחשבים גדולות/מבוזרות, ובאיתור ומניעה של פוגענים ברשתות מחשבים."

 

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

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



עוד בתחום שבבים

כתבות נוספות בתחום

שבבים
אורי תדמור התמנה לנשיא KLA-Tencor ישראל
תדמור העובד ב- KLA-Tencor18 שנים מנהל גם את חטיבת התפעול וקודם לכן ניהל את חטיבת ה-Overlay של החברה. הוא בעל תואר BSc...
קרא עוד
שבבים
מלאנוקס מכריזה על מתאמים לרשתות מרכזי נתונים מוגדרות-תוכנה
מתאמי BlueField SmartNIC הם מתאמים ברי-תכנות המשלבים מעבדי ARM מרובי ליבות וטכנולוגיית ConnectX ובכך מספקים אבטחה מוגברת,...
קרא עוד