Araştırma Alanları

Bilgisayar Bilimleri
Kuramsal Bilgisayar Bilimleri
Biçimsel Diller
Biçimsel Yöntemler
Yazılım
İşletim Sistemleri
Otomatik Programlama
Programlama Dilleri
Yazılım Mühendisliği
Yazılımla Hesaplama
Mühendislik ve Teknoloji