Prof.dr.sc. Ružica Piskač, bivša varaždinska gimnazijalka i redovita profesorica Odsjeka računalnih znanosti na Odjelu za inženjerstvo i primijenjenu znanost američkog Sveučilišta Yale, u Zagreb dovodi prestižnu međunarodnu konferenciju Computer Aided Verification - CAV 2025, jedno od najvažnijih okupljanja stručnjaka u području formalnih metoda za verifikaciju računalnih sustava.
Konferenciju, koja će održati od 21. do 25. srpnja, organizira s još jednim Hrvatom - Zvonimirom Rakamarićem, glavnim primijenjenim znanstvenikom u Amazon Web Services (AWS). Službeni pokrovitelj konferencije je Fakultet elektrotehnike i računarstva (FER), na kojem će se 21. i 22. srpnja održati cjelodnevne radionice, dok će se glavni dio konferencije održati u hotelu Westin.
Na konferenciji CAV 2025 očekuje se oko 250 sudionika iz više od 30 zemalja svijeta, najviše iz SAD-a i Europe, ali i iz Australije, Kine, Hong Konga i drugih regija. Kako napominju iz FER-a, riječ je o vrhunskoj platformi za razmjenu znanja i suradnju između akademske zajednice i industrije.
- Konferencija CAV već 37 godina okuplja vrhunske istraživače i praktičare koji razvijaju automatizirane alate i metode za formalnu verifikaciju softverskih i hardverskih sustava. U fokusu su metode dokazivanja ispravnosti, pouzdanosti i sigurnosti sustava korištenjem provjere modela, dokazivanja teorema, apstraktne interpretacije i srodnih tehnika. CAV je jedna od vodećih konferencija o formalnim metodama u svijetu i igra važnu ulogu u povezivanju akademskih istraživanja i praktičnih primjena u verifikaciji računalnih sustava. Održavanje CAV-a u Zagrebu potvrđuje sve jači položaj hrvatskih istraživača u međunarodnoj znanstvenoj zajednici te otvara vrata budućim suradnjama i projektima na svjetskoj razini - poručili su iz FER-a.
Ružica Piskač na Yaleu je počela raditi 2013. godine, a u srpnju prošle godine napredovala je u zvanje redovite profesorice. Organizaciju konferencije CAV najavila je u razgovoru za Varaždinske vijesti krajem prošle godine.
>> Napreduje na Yaleu, spaja umjetnu inteligenciju s pravom i dovodi znanstvenu elitu u Hrvatsku
- Velika mi je čast, ali i ponos što ću uspjeti prvi put u Hrvatsku dovesti jednu od vodećih konferencija o računalno potpomognutoj verifikaciji, koja okuplja znanstvenike iz cijelog svijeta, ali i ljude iz industrije - rekla nam je tada ova uspješna znanstvenica, čiji je rad prepoznat na međunarodnoj razini.
