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

Mihai Prunescu

Avatar

University of Greifswald, Greifswald, .

E-mail: trimite un mesaj.

Pagina web a instituţiei: http://www.uni-greifswald.de

Nascut(a) in: 1967

Interese: decidability, Goedel, Matiyasevich, definability, complexity, power of expresion

flag Details:
1987 - 1992 student in Bucharest, Faculty of Mathematics
since 1992: Member of the Institute of Mathematics of the Romanian Academy
1995 - 1998 Student at the University Konstanz, Germany.
1998 PhD in Mathematics at the University of Konstanz, adviser Prof. Dr. Alexander Prestel.
Dissertation: "A structural approact to diophantine definability".
1999 - today, Assistent Dr. at the University of Greifswald, Germany.

Publicații selectate:

* Mihai Prunescu, Non-effective quantifier elimination, Wiley Verlag Berlin, Mathematical Logic Quarterly, 47, 2001.

* Mihai Prunescu, $P ot=NP$ for the reals with various analytic functions, Academic Press, Journal of complexity, 17, 2001.

* Mihai Prunescu, Defining constant polynomials, American Mathematical Society, Jan Denef, Leonard Lipshitz, Contemporary Mathematics, 270, 2000.