Prof. Dr. Laurentiu Leustean

E-mail: laurentiu.leusteanunibuc.ro

Pagină web: https://cs.unibuc.ro/~lleustean/

Interes stiintific: proof mining, metode efective, logica matematica


Actualul meu domeniu de cercetare este proof mining, o paradigma de cercetare care consta in analiza logica, folosind tehnici de teoria demonstratiei, a demonstratiilor matematice cu scopul de a extrage informatii relevante, ascunse in aceste demonstratii. Noua informatie obtinuta este atat de natura cantitativa (cum ar fi algoritmi, margini efective, rate de convergenta, rate de metastabilitate), dar si de natura calitativa (cum ar fi uniformitati ale marginilor sau ipoteze mai slabe). Sunt interesat in special de aplicatii ale proof mining in optimizare, analiza neliniara, teoria ergodica si teoria geometrica a grupurilor.

Publicatii selectate

1. L. Leustean, A quadratic rate of asymptotic regularity in CAT(0)-spaces, J. Math. Anal. Appl. 325 (2007), 386-399.
2. U. Kohlenbach, L. Leustean, Effective metastability of Halpern iterates in CAT(0) spaces, Adv. Math. 231 (2012), 2526-2556; Addendum in Adv. Math. 250 (2014), 650-651.
3. U. Kohlenbach, L. Leustean, On the computational content of convergence proofs via Banach limits, Philos. Trans. Royal Soc. A 370 (2012), 3449—3463.
4. D. Ariza-Ruiz, L. Leustean, G. Lopez-Acedo, Firmly nonexpansive mappings in classes of geodesic spaces, Trans. Amer. Math. Soc. 366 (2014), 4299-4322.
5. L. Leustean, An application of proof mining to nonlinear iterations, Ann. Pure Appl. Logic 165 (2014), 1484-1500.

() CV

() Lista completa de lucrari