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 (https://dafny.org/), care facilitează dezvoltarea de programe verificate formal, adică programe care au o demonstrație de corectitudine verificată de calculator. De asemenea, va fi dezvoltat un nou mod de lucru experimental pentru Dafny, pentru crearea de demonstrații de corectitudine în mod interactiv. Acest nou mod de lucru va simplifica modul în care începătorii abordează verificarea de programe și va reduce timpul necesar pentru a crea programe verificate de către experții în domeniu.

Programul Amazon Research Awards oferă fonduri pentru a susține cercetarea științifică în instituții academice și organizații non-profit, în domenii care se aliniază cu misiunea companiei Amazon de a realiza progrese științifice în ceea ce privește experiența utilizatorilor.

Mai multe informații despre Amazon Research Awards sunt publicate la adresa: https://www.amazon.science/research-awards/program-updates/70-amazon-research-award-recipients-announced