
Proiect de cercetare de la UAIC, selectat pentru finanțare în cadrul programului Amazon Research Awards
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