Araştırma Alanları

Sosyal ve Beşeri Bilimler
Felsefe
Sistematik Felsefe ve Mantık
Bilgisayar Bilimleri
Veritabanı ve Veri Yapıları
Veritabanı Sistemleri
Yapay Zeka, Bilgisayarda Öğrenme ve Örüntü Tanıma
Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme
Yazılım
Programlama Dilleri
Mühendislik ve Teknoloji