Enterprise Software, Big data

Veri Madenciliği, Makine Öğrenmesi, Büyük Veri Analitiği

Kriptografik Donanım Tasarımı, Bilgisayar Mimarileri

Yazılım Testi Yazılım Geliştirme Makine Öğrenme

yazılım güvenliği ve doğruluğu, koşut zamanlılık kuramı, doğrusallık, didaktif doğrulama, ispatlanabilir garantili test yöntemleri geliştirilmesi, blok-zincir platformlarına odaklı olarak dağıtık ve paylaşımlı-bellek koşut-zamanlı programlar için akıl yürütme yöntemleri geliştirilmesi