Araştırma Alanları

Teknik Bilimler
Bilgisayar Bilimleri
Yapay Zeka, Bilgisayarda Öğrenme ve Örüntü Tanıma
Doğal Dil İşlemesi
Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme