Gebze Teknik Üniversitesi (GTÜ) Mühendislik Fakültesi Bilgisayar Mühendisliği Bölümü öğrencisi Kadir Bulut ve akademisyen Dr. Öğretim Üyesi Uraz Cengiz Türker önemli bir başarıya imza attı. Üniversiten yapılan açıklamada, “Üniversitemiz Mühendislik Fakültesi Bilgisayar Mühendisliği Bölümü öğrencisi Kadir Bulut’un, akademisyenimiz Dr. Öğretim Üyesi Uraz Cengiz Türker ve University of Ottowa’dan Prof. Dr. Guy Vincent-Jourdan ile yaptığı proje çalışmasıyla önemli bir başarıya imza atıldı. "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 almıştır. Öğrencimiz Kadir Bulut’u, akademisyenimiz Dr. Öğretim Ü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” ifadelerine yer verildi.