"Sonlu Durum Makinelerine Dayalı Sınama Yaklaşımları İçin Karekterizasyon Dizilerinin Minimize Edilmesi ve Hesapsal Zorluğu" adlı bitirme projesi çalışması, bu sene 16.'sı düzenlenecek olan Bilgisayar Mühendisliği, kuramsal bilimler çalışma alanının prestijli ekinliklerinden 'Formal Aspects of Component Software Konferansı'na tam metin bildiri olarak kabul aldı. GTÜ yönetimi konu hakkında yaptığı açıklamada, "Öğrencimiz Kadir Bulut’u, akademisyenimiz Dr. Öğr. Üyesi Uraz Cengiz Türker’i ve Prof. Dr. Guy Vincent-Jourdan’ı GTÜ Ailesi olarak tebrik eder, başarılarının devamını dileriz" dedi. Bilgisayar Mühendisliği alanındaki önemli konferans 23-25 Ekim tarihlerinde Hollanda'da yapılacak.
