Araştırma Alanları
7
-
Bilgi Gizleme
-
Bilgi Sistemi Güvenilirliği
-
Donanım Güvenliği
-
Kriptoloji
-
Yazılım Güvenliği
-
Bilgi Mühendisliği
-
Otomatik Problem Çözümü, Kuram Kanıtlaması ve Mantıksal Nedenleme
Akademik Faaliyetlere Dayalı Araştırma Alanları