Laurențiu Leuştean

Professor
Faculty of Mathematics and Computer Science
University of Bucharest

and

Senior Researcher
Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR)

Email: laurentiu.leustean at unibuc.ro



Personal Data and Education

Employment



Member of

See my CV and Publication List

Publications


Google Scholar
Orcid
Publons
Scopus

Awards, Fellowships, Research Grants


PhD Students


Events I am involved in

  • Working Formal Methods Symposium (FROM 2020), Cluj-Napoca, Romania, September 4-6, 2020
  • Oberwolfach Workshop 2046: Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, Germany, November 8-14, 2020

Scientific Seminars


Teaching in 2020/2021

Previous teaching


Logic and Security Group, Faculty of Mathematics and Computer Science, University of Bucharest

Master in Security and Applied Logic, Faculty of Mathematics and Computer Science, University of Bucharest