
Atıl Utku Ay
InstructorsAraştırma Alanı

Gülşen Demiröz »
InstructorsAraştırma Alanı
Yazılım Testi Yazılım Geliştirme Makine Öğrenme

Süha Orhun Mutluergil
InstructorsAraştırma Alanı
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