Bursalı akademisyene uluslararası tanınma:
Prof. Dr. Tolga Ovatman ve çalışma arkadaşları Atakan Aral, Davut Polat ile Ali Osman Ünver tarafından kaleme alınan makale, yazılım modelleme alanının saygın yayınlarından Software and Systems Modeling (SoSyM) dergisi tarafından "Son On Yılın En Etkili Tematik Makalesi Ödülü"ne layık görüldü. Çalışma, İTÜ Bilgisayar ve Bilişim Fakültesi Bilgisayar Mühendisliği Bölümü çatısı altında yürütüldü ve ekip başarısı uluslararası platformda ödüllendirildi.
Çalışmanın odağı ve bilimsel katkusu:
Makale, endüstriyel otomasyon sistemlerinde yaygın olarak kullanılan PLC yazılımlarının doğrulanmasında model sınama (model checking) uygulamalarını ele alıyor. Yöntemlerin uygulanışı, karşılaşılan güçlükler ve bu yaklaşımların doğrulama süreçlerine sağladığı katkılar ayrıntılı biçimde tartışılıyor. Çalışma, son on yılda aldığı atıflar ve alana yaptığı katkı nedeniyle ödüle değer bulundu.
Ödül töreni ve yankısı:
Ödül, İspanya'da düzenlenen MODELS 2026 Konferansı kapsamında Prof. Dr. Tolga Ovatman ve ekibine takdim edildi. Bu başarı, hem araştırma grubunun hem de Türkiye'deki yazılım doğrulama çalışmalarının uluslararası görünürlüğünü artırıyor ve model sınama yöntemlerinin endüstriyel uygulamalarda önemine dikkat çekiyor.
BURSALI PROFESÖRÜN BAŞARISI
