Bilgi ve Bilgi İşleme Bilimleri, Algoritmalar ve Hesaplama Kuramı, Veri Yapıları ve Algoritmalar, Bilgisayar Sistemlerinin Adalet, Hesap Verebilirlik, Şeffaflık, Güven ve Etiği, Yaygın Hesaplama, Bağlam Öğrenimi, Nöral Ağlar, Yaşam Bilimlerinde Bilgi İşleme, Bulanık Hesaplama, Evrimsel Hesaplama, Planlama ve Karar Verme, Ampirik Yazılım Mühendisliği, Gereksinim Mühendisliği, Yazılım Kalitesi, Süreçler ve Metrikler, Yazılım Testi, Doğrulama ve Validasyon