Araştırma Alanları

  • Sayısal Algoritmalar

  • İnsan Bilgisayar Etkileşimi

  • Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme

  • Programlama Dilleri