Laurențiu Leuștean
Domain: Mathematics
Academic and scientific profile: Mathematical Logic
Research areas and directions:
- Proof mining and applications in optimization, nonlinear analysis and ergodic theory
- Non-classical logics
- Computer-aided reasoning in mathematics
Affiliation:
E-mail address: laurentiu.leustean@unibuc.ro