| Laurențiu Leuştean | ||
|
Professor Senior Researcher
|
|
|
Personal Data and Education
|
Employment
- 2014 - present: Faculty of Mathematics and Computer Science, University of Bucharest
- 2003 - present: IMAR
- 2004 - 2009: Department of Mathematics, Technische Universität Darmstadt
- 1996 - 2003: National Institute for Research and Development in Informatics (ICI)
Member of
- Ad Astra (An Association of Romanian Researchers)
- American Mathematical Society
- Association for Symbolic Logic
See my CV and Publication List
Google Scholar
Orcid
Publons
Scopus
Awards, Fellowships, Research Grants
- Grant CNCS IDEI Proof mining in metric analysis, geometric group theory and ergodic theory (October 2011 - October 2016)
- The 2010 "Simion Stoilow" Prize of the Romanian Academy (awarded in 2012)
- Oberwolfach Leibniz Fellowship, Mathematisches Forschungsinstitut Oberwolfach, October 2008 - February 2009 and September - October 2009
- SSRP Fellowship, NASA Ames Research Center, June - August 2002 and July - September 2003
- Marie Curie Fellowship, BRICS (Basic Research in Computer Science) International PhD School, Aarhus University, January - June 2002
PhD Students
- Andrei Sipoș (PhD 2017, University of Bucharest)
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
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