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