תחומי מחקר

אוטומטים ושפות פורמליות

צפינה

סיבוכיות

גיאומטריה חישובית

קריפטולוגיה

חישוב מבוזר

לוגיקה וסמנטיקה

תורת האלגוריתמים

תיאוריית מסדי נתונים

אינטראקציית אדם-מחשב

מסדי נתונים ועיבוד נתונים

מערכות מבוזרות ומקבילות

חומרה וארכיטקטורת מחשבים

רשתות, תקשורת ומערכות

שפות תכנות

שיטות פורמליות ואימות תוכנה וחומרה

הנדסת תוכנה

מערכות הפעלה ווירטואליזציה

איחסון

אבטחת מערכות

מכונות לומדות

חשיבה לוגית והסתברותית

רשתות עצביות ולמידת עומק

מידול גיאומטרי

גרפיקה

עיבוד תמונות וראייה ממוחשבת

רובוטיקה ומערכות מורכבות

חישוב מדעי ואלגוריתמים נומריים

חישוב ביולוגי

ביואינפורמטיקה (מדעי המחשב וביולוגיה)

בלשנות חישובית ועיבוד שפה טבעית

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

אינטרנט, תורת המשחקים החישובית, מסחר אלקטרוני, מטבע קריפטו וכלכלת האינטרנט