שלושה חוקרים ישראלים מצטרפים ל-ACM
מאת אבי בליזובסקי שלישי, 22 דצמבר 2015 00:22

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

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

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

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

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

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

עוד בתחום שבבים Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_filterednews/helper.php on line 247 Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_filterednews/helper.php on line 247 כתבות נוספות בתחום שבבים כתבה ריקה 1 כותרת ביניים * כותרת ביניים קרא עוד שבבים כתבה ריקה 2 כותרת ביניים * כותרת ביניים קרא עוד

תגובות (0)

הצג או הסתר תגובות

כתוב תגובה

מייל שם אתר		כותרת תגובה יותר קטן | יותר גדול
		קבלת עדכונים בדואר אלקטרוני - למשתמשים רשומים בלבד קראתי והנני מסכים ל תנאי השימוש באתר העתק תווים מוצגים הוסף תגובה