Proiect de cercetare de la UAIC, selectat pentru finanțare în cadrul programului Amazon Research Awards
Un proiect de cercetare de la universitatea "Alexandru Ioan Cuza" din Iași a fost ales pentru a primi finanțare prin programul internațional Amazon Research Awards. Conform ziaruldeiasi.ro, proiectul se numește „An Interactive Proof Mode for Dafny” și este coordonat de profesorul universitar dr. Ștefan Ciobacă, de la Facultatea de Informatică.
Obiectivul principal al cercetării este de a crea un mod interactiv de lucru pentru limbajul de programare Dafny, folosit pentru a scrie și verifica programe în mod formal. Potrivit sursei, acest nou mod va permite realizarea de demonstrații de corectitudine mai simple și mai eficiente, fiind de ajutor atât pentru începători, cât și pentru experți în domeniu.
Programul Amazon Research Awards sprijină proiectele de cercetare din universități și organizații non-profit, cu focus pe domenii importante pentru activitatea companiei Amazon și pe dezvoltarea științifică. În acest mod, se dorește îmbunătățirea experienței utilizatorilor și avansarea cunoașterii în tehnologii relevante, notează sursa citată.
