proiect de cercetare de la universitatea "alexandru ioan cuza" din iesi, selectat pentru finantare în cadrul programului amazon research awards

proiect de cercetare de la universitatea "alexandru ioan cuza" din iesi, selectat pentru finantare în cadrul programului amazon research awards

Un proiect de cercetare realizat la universitatea "Alexandru Ioan Cuza" din Iasi a fost ales pentru a primi finanțare prin programul internațional Amazon Research Awards, relatează ziaruldeiasi.ro. Proiectul, intitulat "Un mod interactiv de demonstrație pentru Dafny", este coordonat de profesorul universitar doctor Ștefan Ciobacă de la Facultatea de Informatică. Potrivit sursei, scopul principal al cercetării este de a extinde limbajul de programare Dafny, utilizat pentru crearea de programe care pot fi verificate formal.

Conform informațiilor, principalul obiectiv este dezvoltarea unui mod de lucru interactiv pentru Dafny, ceea ce va permite realizarea de demonstrații de corectitudine într-un mod mai accesibil și mai eficient, atât pentru cei începători, cât și pentru experți. Conform sursei, programul Amazon Research Awards sprijină cercetările din universități și organizații non-profit în domenii relevante pentru activitatea Amazon, cu accent pe îmbunătățirea experienței utilizatorilor și avansul științific.