Dr. Öğr. Üyesi Sinem Getir Yaman’ın bölümümüze katıldığını duyurmaktan mutluluk duyuyoruz.
Dr. Sinem Getir Yaman, York Üniversitesi ve Institute for Safe Autonomy bünyesinde kıdemli araştırmacı olarak görev yapmıştır. Lisans ve yüksek lisans derecelerini sırasıyla 2009 ve 2012 yıllarında Ege Üniversitesi’nden, doktora derecesini ise 2021 yılında Humboldt Üniversitesi Berlin’den almıştır. “Evrilen Yazılım Sistemlerinin Nicel Doğrulanması” başlıklı doktora tezi, evrilen yazılım sistemlerinin nicel doğrulanması ve biçimsel yöntemler üzerine odaklanmıştır. Araştırmaları; yapay zekâ destekli otonom sistemlerde olasılıksal model kontrolünün uygulanmasının yanı sıra, yapay zekâ ajanları için normatif gereksinimlerin biçimsel olarak tanımlanması ve doğrulanması üzerine yoğunlaşmaktadır. Güvenilir ve güvenilirliği kanıtlanabilir sosyoteknik sistemlerin geliştirilmesine yönelik normatif gereksinimler ve olasılıksal biçimsel yöntemler alanlarında güçlü bir araştırma geçmişine sahiptir.