Öğretim Görevlileri

Öğretim Görevlileri

LISTEN
Atıl Utku Ay
Instructors
Araştırma Alanı

Gülşen Demiröz »
Instructors
Araştırma Alanı

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

Süha Orhun Mutluergil
Visiting Instructors
Araş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