Araştırma Alanları

Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme
Örüntü Tanıma ve Görüntü İşleme
Sinirsel Ağlar
Yazılım Mühendisliği