תחומי מחקר - מערכות

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

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