Araştırma Alanları
4
-
Kesikli Zaman Sistemleri ve Bilgisayarla Kontrol
-
Kuramsal Bilgisayar Bilimleri
-
Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme
-
Yazılım
Akademik Faaliyetlere Dayalı Araştırma Alanları