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

Guvernul Luca Niculescu și-a început mandatul. Premierul promite că Pilonul 2 de pensii nu va fi modificat și anunță prioritățile

Guvernul condus de Luca Niculescu și-a început mandatul după șase luni de criză politică, iar premierul a anunțat că Pilonul 2 de pensii nu va fi modificat. Printre prioritățile noului Executiv se numără atragerea fondurilor europene, rectificarea bugetară și pregătirea bugetului pentru 2027. Cei 18 miniștri ai Cabinetului au depus jurământul de învestitură la Palatul […]

Lasă un răspuns Anulează răspunsul