proiect de cercetare de la universitatea "alexandru ioan cuza" din iesi, selectat pentru finantare în cadrul programului amazon research awards

stiridelaiasi.ro

Inapoi

proiect de cercetare de la universitatea "alexandru ioan cuza" din iesi, selectat pentru finantare în cadrul programului amazon research awards

Postat pe 13 Jun 2025

Update cu 1 lună în urmă

Timp de citire: 1 minut

Articol scris de: Maria Popescu

Image Description
Educatie
SURSA FOTO

proiect de cercetare de la universitatea "alexandru ioan cuza" din iesi, selectat pentru finantare în cadrul programului amazon research awards

Un proiect de cercetare realizat la universitatea "Alexandru Ioan Cuza" din Iasi a fost ales pentru a primi finanțare prin programul internațional Amazon Research Awards, relatează ziaruldeiasi.ro. Proiectul, intitulat "Un mod interactiv de demonstrație pentru Dafny", este coordonat de profesorul universitar doctor Ștefan Ciobacă de la Facultatea de Informatică. Potrivit sursei, scopul principal al cercetării este de a extinde limbajul de programare Dafny, utilizat pentru crearea de programe care pot fi verificate formal.

Conform informațiilor, principalul obiectiv este dezvoltarea unui mod de lucru interactiv pentru Dafny, ceea ce va permite realizarea de demonstrații de corectitudine într-un mod mai accesibil și mai eficient, atât pentru cei începători, cât și pentru experți. Conform sursei, programul Amazon Research Awards sprijină cercetările din universități și organizații non-profit în domenii relevante pentru activitatea Amazon, cu accent pe îmbunătățirea experienței utilizatorilor și avansul științific.

Distribuie aceasta stire pe social media sau mail
Image Description
Acest articol apare prima data aici
Alte postari din Educatie
Educatie

Caravana poveștilor ajunge în patru comune. Ateliere gratuite pentru copii în bibliotecile din județul Iași

Copiii din Scânteia, Mironeasa, Țigănași și Cotnari vor putea participa la ateliere de povești la bibliotecile din localitate în cadrul Caravanei „Creștem cu fiecare poveste”, la bibliotecile din localitate. Cărțile Curajul (Veronica Iani), Răbdarea (Veronica Iani), Ești prețos (Max Lucado), De-aș avea un nas verde (Max Lucado) și Vacanță cu zmeu (Veronica Iani) vor fi în prin plan în luna august și vor fi povestite de Sorina Topliceanu. Luna iulie .

Educatie

Doliu în lumea medicală: A murit un cunoscut ortoped din Iași, profesor la UMF

Prof. univ. dr. Ovidiu Alexa, unul dintre cei mai respectați specialiști în ortopedie-traumatologie din România, s-a stins din viață la vârsta de 66 de ani. Cariera sa s-a întins pe parcursul a peste trei decenii, fiind strâns legată de Universitatea de Medicină și Farmacie „Grigore T. Popa” din Iași, unde a ocupat funcții academice de la asistent universitar până la profesor universitar și șef de disciplină. „Conducerea Universităţii de Medicină .

Educatie

Unde mai sunt locuri la liceu în Iași? Lista completă a specializărilor și locurile disponibile la fiecare

A doua etapă a admiterii în învățământul liceal de stat, pe locurile rămase libere, are loc în perioada 1-19 august. În județul Iași sunt disponibile 134 de locuri, dintre care doar 24 la filieră teoretică, în Pașcani și Hălăucești. Potrivit datelor disponibile pe platforma admitere.edu.ro, cele 134 de locuri libere din județul Iași sunt împărțite la opt licee din județul Iași. Liceul Teoretic „Bogdan Vodă” din Hălăuceşti și Liceul Teoretic .

Educatie

UMF Iași integrează un perete verde exterior Policlinicii de Stomatologie Pediatrică

Universitatea de Medicină și Farmacie „Grigore T. Popa” din Iași a finalizat modernizarea Policlinicii de Stomatologie Pediatrică, în cadrul unui proiect amplu de reabilitare a clădirii, după 45 de ani de funcționare. Printre elementele incluse în noua configurație a imobilului se numără și un perete verde exterior, realizat din iederă plantată pe panouri metalice concepute pentru utilizare urbană. Investiția, în valoare de aproximativ 9 milioane de euro, a urmărit îmbunătățirea .

Pagina de facebook

-
-
Your Page Name

Recente din iasi

-
-

04:40

De ce nu vă ascultă META când distribuiți postări cu avertismentul „Să nu-mi folosiți datele personale!”. Ziarul de Iași a deconstruit, cu experți, ultima dezinformare virală despre Facebook

Mai mulți ieșeni au distribuit săptămânile trecute, pe paginile personale de Facebook, o serie de mesaje prin care își manifestau dezacordul cu privire la preluarea și utilizarea datelor personale de către Meta. O bună parte dintre aceștia au fost formatori de opinii avizați din Iași, profesori universitari, chiar și jurnaliști cu experiență. Ce se întâmplă, de fapt? Deși false, aceste mesaje dezvăluie, de fapt, că termenii și condițiile platformei de
Image Description

03:10

Poşta Română, profit istoric în 2024: 85,3 milioane de lei

Poşta Română anunţă că a încheiat anul 2024 cu un profit brut record, de 85,3 milioane de lei, cel mai ridicat nivel înregistrat în istoria sa recentă, scrie News.ro. Datele prezentate de companie arată o creştere de 400% a profitului faţă de anul precedent. Astfel, profitul brut pe 2024 este de 85,3 milioane de lei (+67,7 milioane lei faţă de 2023), profitul net este de 70,7 milioane de lei (+56,5
Image Description

16:14

Lionel Messi, posibilă înțelegere cu Inter Miami. El ar putea juca până la 41 de ani

Aflat sub contract cu Inter Miami până în decembrie 2025, Lionel Messi ar urma să îşi prelungească în viitorul apropiat înţelegerea cu clubul din Florida. Marca a dezvăluit detalii din culisele negocierilor, care cuprind un acord flexibil pentru jucătorul argentinian, scrie News.ro. Potrivit informaţiilor, argentinianul îşi va prelungi contractul pentru cel puţin încă trei sezoane, până la 41 de ani. Dacă Messi doreşte să îşi prelungească acordul cu cel puţin
Image Description

14:41

Sfârșit de eră la Tottenham: Căpitanul Son Heung-min şi-a anunţat plecarea

Sfârşitul unei ere la Tottenham: atacantul sud-coreean şi căpitanul echipei Son Heung-min şi-a anunţat, sâmbătă, intenţia de a pleca în această vară, după zece sezoane şi un singur trofeu, scrie News.ro. Sud-coreeanul în vârstă de 33 de ani, care a ajuns la Tottenham în 2015 de la Bayer Leverkusen din Bundesliga, a evoluat în peste 450 de meciuri pentru club, dar are un singur trofeu în palmares, Liga Europa, pe
Image Description

13:20

Federația Portugheză sare în apărarea lui Cristiano Ronaldo după absența de la înmormântarea lui Diogo Jota

Pedro Proença, preşedintele Federaţiei Portugheze de Fotbal, i-a luat apărarea lui Cristiano Ronaldo, după ce acesta a fost criticat pentru că nu a participat la înmormântarea lui Diogo Jota, în 5 iulie, scrie News.ro. Cristiano Ronaldo şi-a justificat absenţa, explicând că nu a vrut să fie în centrul atenţiei şi ştia că prezenţa sa ar fi putut perturba ceremoniile religioase. El a lăsat un mesaj pentru Diogo Jota şi familia
Image Description

Recente din Romania

-
-

11:09

- Brasov - Ministrul „anti-sinecuri” Radu Miruță împarte sinecuri pentru USR-iștii de la Brașov. Afacerea IPROCHIM

USR-ul a dat din nou lovitura! IPROCHIM, chimie politică de laborator. Aici USR combină tot ce prinde! După „reformarea” istorică a companiilor Avioane Craiova și IOR SA, adică căpușarea cu membri de partid de la USR, a venit rândul unui nou experiment de laborator: IPROCHIM SA — o companie chimică, dar cu o chimie tot mai suspect de intensă cu partidul care promitea că va „elibera statul de sinecuri”. Dezvăluirile
Image Description

11:01

- Gorj - Salvamontiștii gorjeni au fost solicitați să intervină în mai multe zone din județ

Peste 50 de persoane au fost salvate de pe munte în ultimele 24 de ore, anunţă duminică dimineaţa Salvamont România. ”În ultimele 24 de ore, la Dispeceratul Naţional Salvamont s-au primit 34 de apeluri prin care se solicita intervenţia de urgenţă a salvamontiştilor. (…) În cazul acestor intervenţii au fost salvate 53 de persoane. Dintre acestea, 13 au fost transportate cu ambulanţele SAJ, SMURD sau Salvamont la spital, două persoane
Image Description

10:59

- Nationale - Demisii pe bandă rulantă ale politicienilor cu diplome doar în CV-uri. Ce figuri publice au fost demascate în Spania

Dacă în verile precedente politicienii spanioli se axau pe relaxare, anul acesta, mulţi dintre ei amână exodul către litoral pentru a-şi revizui CV-urile. În Spania, revizuirea în masă a documentelor care arată experiența profesională și academică a fost determinată de demisiile bruşte a cel puţin trei politicieni care au minţit în privinţa diplomelor pe care le au, arată o analiză POLITICO, preluată de News.ro. Încă de anul trecut, tot mai
Image Description

Reclame

-
-
Image Description

Vremea

-
-
iasi WEATHER

Schimb valutar

-
-

Autor știre

-
-
Maria Simionescu

Redactie

-
-
Stiri de calitate din judetul iasi
mail: office@AiPath.ro

Acasa Recente Radio Judete