|
Laurențiu Leuştean I am a full professor in the Department of Computer Science at the Faculty of Mathematics and Computer Science of the University of Bucharest, where I lead the Research Center for Logic, Optimization and Security (LOS). I am also a senior researcher at the Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR). In addition, I am a founding member of the Institute for Logic and Data Science (ILDS) based in Bucharest. Furthermore, I did my PhD in mathematics in 2004 at the University of Bucharest under the supervision of George Georgescu. Between 2004 and 2009 I was an assistant professor and a member of the research group of Ulrich Kohlenbach in the Department of Mathematics of TU Darmstadt. In 2009 I got my Habilitation in mathematics from TU Darmstadt. I received the 2010 Simion Stoilow Prize of the Romanian Academy (awarded in 2012). E-mail: laurentiu.leustean at unibuc.ro, laurentiu.leustean at ilds.ro |
|
CV and Publication List
Research Interests
Proof mining and applications in optimization, nonlinear analysis and ergodic theory, Non-classical logics, Computer-aided reasoning in mathematics
Google Scholar, Orcid, Publons, Research Gate, Scopus, Semantic Scholar, OPC
Master in Security and Applied Logic
PhD Students
- Anda-Ştefania Toma (2026 - present, Romanian Academy)
- Dafina Trufaș (2026 - present, Romanian Academy)
- Nicoleta Dumitru (2023 - present, University of Bucharest, co-supervised since 2026 with Ionel Popescu)
- Paulo Firmino (2022 - present, University of Lisbon, co-supervised with Fernando Ferreira)
- Horațiu Cheval (PhD 2024, University of Bucharest)
- Andrei Sipoș (PhD 2017, University of Bucharest, Thesis)
Future events
- Workshop Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, Germany, November 15 - 20, 2026
- The 11th Congress of Romanian Mathematicians, Alba Iulia, Romania, July 2-7, 2027
- 26th International Symposium on Mathematical Programming (ISMP 2027), Amsterdam, July 25-30, 2027