Araştırma Alanları
3
-
Sistematik Felsefe ve Mantık
-
Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme
-
Matematiğin Temelleri ve Matematiksel Mantık
Akademik Faaliyetlere Dayalı Araştırma Alanları