21/05/2026
Sabancı Üniversitesi Mühendislik ve Doğa Bilimleri Fakültesi Bilgisayar Bilimi ve Mühendisliği Programı son sınıf öğrencisi Harun Yılmaz’ın ortak yazarları arasında yer aldığı “Extending QuAK with Nested Quantitative Automata” başlıklı makale, bilgisayar bilimlerinde ICORE sıralamasında en üst kademe olan A* statüsündeki CAV 2026 Konferansı’na kabul edildi.
Harun Yılmaz’ın ortak yazarlarından biri olduğu çalışma; Institute of Science and Technology Austria’dan Thomas A. Henzinger, Slovak University of Technology in Bratislava’dan Nicolas Mazzocchi ve CISPA Helmholtz Center for Information Security’den N. Ege Saraç ile birlikte hazırlandı.
Bu çalışma, yazılım ve donanım sistemlerinin niceliksel özelliklerinin doğrulanması alanında bugüne kadar pratik araç desteğinden yoksun kalan Nested Quantitative Automata modellerine odaklanıyor. Bu boşluğu doldurmak amacıyla bir quantitative automata analiz aracı olan QuAK, NQA'ları destekleyecek şekilde genişletildi ve NQA'ları mevcut karar prosedürlerine indirgeyen yeni algoritmalar geliştirildi. Ortalama yanıt süresi ve kaynak tüketimi gibi gerçek dünya senaryoları üzerinde yürütülen deneyler, yaklaşımın etkinliğini somut olarak ortaya koyuyor.
Biçimsel doğrulama ve bilgisayar destekli doğrulama alanlarının en saygın uluslararası konferansları arasında gösterilen CAV (Computer-Aided Verification), bu yıl FLoC 2026 (Federated Logic Conference) kapsamında düzenlenecek. Alanın en seçkin akademik buluşmalarından biri olarak kabul edilen konferans, dünyanın önde gelen araştırmacılarını bir araya getiriyor.
26-29 Temmuz 2026 tarihlerinde Portekiz’in Lizbon kentinde gerçekleştirilecek konferans, mantık, doğrulama ve programlama dilleri alanlarının en önemli uluslararası organizasyonlarından biri olan FLoC 2026 kapsamında düzenlenecek.
