.svg)
فريق حاسبات ومعلومات عين شمس يفوز بالمركز الأول والميدالية المسابقة العالمية الرائدة في مجال SV-COMP 2025 الذهبية في التحقق من البرمجيات
فاز فريق Java-Ranger بالمركز الأول والميدالية الذهبية في SV-COMP 2025، المسابقة العالمية الرائدة في مجال التحقق من البرمجيات!
هذا الإنجاز ثمرة جهد تعاوني بين الدكتورة سها حسين وجامعة مينيسوتا، يُظهر قوة الشراكات البحثية الدولية.
تميّز Java-Ranger بين المشاركات المقدمة من مؤسسات مرموقة، منها جامعة دورتموند التقنية (ألمانيا)، وDiffblue (المملكة المتحدة)، وجامعة نانجينغ (الصين).
وقد تم نشر النتائج الرسمية في تقرير مسابقة SV-COMP 2025، وسيتم الاحتفال بالجائزة في مؤتمر TACAS 2025، وهو جزء من سلسلة مؤتمرات ETAPS، التي ستعقد في أونتاريو، كندا.
