Araştırma Alanları

Bilgisayar Bilimleri
Kuramsal Bilgisayar Bilimleri
Biçimsel Diller
Yazılım
Yazılım Mühendisliği
Mühendislik ve Teknoloji