Uluslararası alanda adından söz ettiren Bursalı akademisyen ve ekibi, yazılım modelleme alanındaki dev çalışmasıyla on yılın en prestijli ödülünün sahibi oldu.

Akademik dünyada Türkiye'yi gururlandıran önemli bir başarıya imza atıldı. İstanbul Teknik Üniversitesi (İTÜ) Bilgisayar ve Bilişim Fakültesi Bilgisayar Mühendisliği Bölümü’nde görev yapan Bursalı Öğretim Üyesi Prof. Dr. Tolga Ovatman ve ekibinin hazırladığı bilimsel makale, uluslararası prestijli SoSyM dergisi tarafından Son On Yılın En Etkili Tematik Makalesi Ödülü'ne layık görüldü.

Atakan Aral, Davut Polat ve Ali Osman Ünver ile birlikte kaleme alınan "An overview of model checking practices on verification of PLC software" başlıklı çalışma, yazılım modelleme dünyasının en önemli yayınlarından biri olan Software and Systems Modeling (SoSyM) dergisi tarafından onurlandırıldı.

Yazılım ve Endüstriyel Otomasyon Alanında Büyük Yankı

Endüstriyel otomasyon sistemlerinde sıklıkla kullanılan PLC yazılımlarının doğrulanmasında model sınama yöntemlerini ve bu süreçte karşılaşılan kritik güçlükleri ele alan makale, son on yılda topladığı yoğun atıflar ve bilimsel alana sağladığı derin katkıyla rakiplerini geride bıraktı.

Uluslararası yazılım mühendisliği ve teknoloji sektöründe büyük yankı uyandıran bu önemli başarı sonrasında, Prof. Dr. Tolga Ovatman ve ekip arkadaşlarına ödülleri İspanya’da düzenlenen MODELS 2026 Konferansı kapsamında coşkuyla takdim edildi.