Proiect de cercetare al UAIC, finanțat în cadrul programului Amazon Research Awards
Proiectul de cercetare „An Interactive Proof Mode for Dafny”, coordonat de conf. univ. dr. Ștefan CIOBÂCĂ, de la Facultatea de Informatică a Universității „Alexandru Ioan Cuza” din Iași (UAIC), a obținut finanțare din partea companiei Amazon, prin programul Amazon Research Awards. În cadrul proiectului, echipa de lucru va extinde limbajul de programare Dafny, care facilitează [...]