Laurențiu Leuștean

Laurențiu Leuștean is a full professor at University of Bucharest, where he leads the Research Center for Logic, Optimization and Security. He is also a founding member and the president of the Institute for Logic and Data Science and a senior researcher at the Simion Stoilow Institute of Mathematics of the Romanian Academy. His main research interests are in proof mining, an area of applied proof theory concerned with the extraction of hidden finitary and combinatorial content from mathematical proofs.