Inscriere cercetatori

Premii Ad Astra

premii Ad Astra

Asociația Ad Astra a anunțat câștigătorii Premiilor Ad Astra 2022: http://premii.ad-astra.ro/. Proiectul și-a propus identificarea și popularizarea modelelor de succes, a rezultatelor excepționale ale cercetătorilor români din țară și din afara ei.

Asociatia Ad Astra a cercetatorilor romani lanseaza BAZA DE DATE A CERCETATORILOR ROMANI DIN DIASPORA. Scopul acestei baze de date este aceea de a stimula colaborarea dintre cercetatorii romani de peste hotare dar si cu cercetatorii din Romania. Cercetatorii care doresc sa fie nominalizati in aceasta baza de date sunt rugati sa trimita un email la cristian.presura@gmail.com

Avatar

Traian Florin Șerbănuță received his Ph.D. from University of Illinois at Urbana-Champaign (UIUC) with the thesis "A Rewriting Approach to Concurrent Programming Language Design and Semantics" and is currently an Associate Professor at University of Bucharest. His research focus is on developing platforms and tools to assist with programming language design, semantics, and analysis. He is the chief architect of the K framework, a platform for programming language design and semantics which was successfully used to build most complete formal semantics for the C programming language and the first prototypes of the Matching logic verifiers.

, , .

E-mail: trimite un mesaj.

Nascut(a) in: