Öğretim üyelerinin başarısı

GTÜ’den yapılan açıklamada şunlar ifade edildi:
“Üniversitemiz Mühendislik Fakültesi Bilgisayar Mühendisliği Bölümü öğrencisi Kadir Bulut’un, akademisyenimiz Dr. Öğr. Ü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. Öğ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.”