Un proiect de cercetare derulat la Universitatea „Alexandru Ioan Cuza” din Iași (UAIC) a fost selectat pentru finanțare în cadrul programului internațional Amazon Research Awards. Proiectul, intitulat „An Interactive Proof Mode for Dafny”, este coordonat de conf. univ. dr. Ștefan Ciobâcă de la Facultatea de Informatică și vizează extinderea limbajului de programare Dafny. Articolul Proiect de cercetare al Universității „Alexandru Ioan Cuza” din Iași, finanțat prin Amazon Research Awards apare prima dată în Ziarul de Iaşi - liderul presei ieşene.
