Araştırma Alanları

Sistematik Felsefe ve Mantık
Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme
Matematiğin Temelleri ve Matematiksel Mantık