Araştırma Alanları

Veri Gösterimi ve Saklanması
Bilgi Mühendisliği
Bilgisayar Öğrenimi
Bulanık Kümeler ve Sistemler
Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme