Andrei Sipoș is a lecturer of Computer Science at the University of Bucharest and a researcher at the Institute of Mathematics of the Romanian Academy. Before that, he completed his PhD at the University of Bucharest and a three-year postdoc at TU Darmstadt. He works in the field of proof mining, an applied subfield of mathematical logic that aims to analyse ordinary mathematical proofs in order to obtain additional information which is not immediately apparent.
Laurenţiu Leuştean is a Full Professor in the Department of Computer Science, Faculty of Mathematics and Computer Science of the University of Bucharest, where he leads the Research Center for Logic, Optimization and Security (LOS). He is also a senior researcher at the Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR). His main research interests lie in proof mining, an area of applied proof theory concerned with the extraction of hidden finitary and combinatorial content from mathematical proofs. He is also interested in many-valued logics, automated theorem proving, and logic in computer science. He completed his PhD in mathematics in 2004 at the University of Bucharest under the supervision of George Georgescu. Between 2004 and 2009 he was an assistant professor and a member of the research group of Ulrich Kohlenbach in the Department of Mathematics of TU Darmstadt. In 2009 he got his Habilitation in mathematics from TU Darmstadt. Laurenţiu Leuştean received the 2010 Simion Stoilow Prize of the Romanian Academy (awarded in 2012).
Traian Șerbănuță is an Associate Professor of Computer Science at the University of Bucharest, interested in programming languages, formal methods, and logics.
Traian completed his PhD at the University of Illinois, under the supervision of Grigore Roșu. He is also a research consultant for Runtime Verification, Inc., a formal-methods-based startup using technologies developed during Traian’s PhD to improve the quality of systems in industry.
Paul Irofti is an Associate Professor within the Department of Computer Science of the Faculty of Mathematics and Computer Science at the University of Bucharest where he co-founded the Research Center for Logic, Optimization and Security. He is the author of the book Dictionary Learning Algorithms and Applications (Springer, 2018, with Bogdan Dumitrescu) that was awarded the Grigore Moisil prize by the Romanian Academy. He completed his PhD in Systems Engineering at the Politehnica University of Bucharest in 2016. His main research interests are anomaly detection, signal processing, numerical algorithms and optimization.
Alin Ștefănescu is a Full Professor of Computer Science at the University of Bucharest. He enjoys collaborating with colleagues and students on various research projects at the frontier of the academic and industrial worlds. His main expertise is in software engineering with a focus on cybersecurity and software testing, using AI, model-based or formal methods. He was a researcher in several European universities (Technical University of Munich, University of Edinburgh, University of Stuttgart, University of Konstanz, University of Bucharest) and also has an extensive experience with industry, both as a member and as a team lead in R&D departments or collaborations with leading companies such as SAP, Bitdefender, and UiPath.