Araştırma Alanları

Bilgisayar Öğrenimi
Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme
Örüntü Tanıma ve Görüntü İşleme