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).
CV and Publication List
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
Logic Seminar LOS Seminar Proof Mining Seminar
Proof Mining Seminar
Master in Security and Applied Logic
Teaching in 2023/2024