Araştırma Alanları

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