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

Alătură-te pe WHATSAPP canalului BZI, pentru a fi la curent cu cele mai noi știri

Donație lunară

Donează lunar pentru susținerea jurnalismului de calitate

Plată sigură și protejată

Alătură-te comunității noastre de susținători

Donația ta lunară ne ajută să planificăm și să continuăm să informăm corect și echidistant

Donație singulară

Donează o singură dată pentru susținerea jurnalismului de calitate

Plată sigură și protejată

Contribuția ta face diferența

Ne ajuți să rămânem independenți și să aducem informații de care ai nevoie

Articol recomandat

Incident la Liceul Teoretic „Nikolaus Lenau” din Timișoara. Un elev de 13 ani a apărut într-o fotografie cu un cuțit într-o sală de clasă

Polițiștii verifică un incident la Liceul Teoretic „Nikolaus Lenau” din Timișoara, după apariția online a unei fotografii în care un elev de 13 ani ține în mână un cuțit. Un elev de 13 ani de la Liceul Teoretic „Nikolaus Lenau” din Timișoara a fost identificat de polițiști după ce pe o platformă de socializare a […]

Lasă un răspuns Anulează răspunsul