Laurențiu Leuştean

I am a Full Professor in the Department of Computer Science, 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 a founding member and the president of the Institute for Logic and Data Science (ILDS). Furthermore, I am a senior researcher at the Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR). 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, laurentiu.leustean at

CV and Publication List

Research Interests

Proof mining and applications in optimization, nonlinear analysis and ergodic theory, Many-valued logics, Interactive theorem proving, Logic in computer science


Google Scholar, Orcid, Publons, Research Gate, Scopus, Semantic Scholar, OPC

Lecture notes

Logic Seminar

LOS Seminar

Proof Mining Seminar

Master in Security and Applied Logic

Teaching in 2023/2024

Previous teaching

PhD Students

Future events

Past events