חדשות

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

18 ספטמבר
2023

שתפו ב:

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

 

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

 

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

 

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

 

ד"ר אלון קיפניס קיבל את הפרס על מחקרו יחד עם עמיתו פרופ' Donoho David  מאוניברסיטת סטנפורד :   Detecting rare changes in large and sparse contingency tables

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

 

בתמונה:

מימין- ד"ר בן לי וולק , באמצע ד"ר אלון קיפניס ומשמאל- ד"ר רן כהן