Caută 
Proiect de cercetare al Universității „Alexandru Ioan Cuza” din Iași, finanțat prin Amazon Research Awards
1 MIN
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.
Scopul principal al cercetării este dezvoltarea unui mod interactiv de lucru pentru Dafny, un limbaj utilizat în crearea de programe verificate formal. Acest nou mod de lucru va permite realizarea de demonstrații de corectitudine într-un mod mai accesibil și mai eficient, atât pentru începători, cât și pentru experți.
Programul Amazon Research Awards sprijină inițiativele de cercetare desfășurate în universități și organizații non-profit, în domenii relevante pentru activitatea Amazon, cu accent pe îmbunătățirea experienței utilizatorilor și progresul științific.
Urmăriți canalul „Ziarul de Iași” pe WhatsApp. Cele mai importante știri ale zilei sunt disponibile aici
Publicitate și alte recomandări video
Îți recomandăm
