Ioana Leuştean
Professor, Faculty of Mathematics and Computer Science
📬 ioana.leustean@unibuc.ro
🌐 cs.unibuc.ro/~ileustean (official)
I am a Professor in the Department of Computer Science of the Faculty of Mathematics and Computer Science, University of Bucharest. Between February 2020 and February 2024, I served as the Dean of the Faculty of Mathematics and Computer Science.
My current research focuses on logic for specification and verification, with a particular emphasis on many-sorted modal logic. This builds upon my extensive prior work in many-valued logic, an area I explored through diverse logical, algebraic, and probabilistic perspectives.
📄 Selected Recent Publications
- A.A. Oltean, B. Macovei, I. Leuștean, Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean, LPAR 2026 (accepted). arXiv:2606.27041
- I. Leuştean, B. Macovei. Training as inference: Using hybrid modal logic for specifying neural networks. Journal of Logical and Algebraic Methods in Programming, Volume 151, 2026.
- I. Leuştean, B. Macovei. A Hybrid Many-Sorted Modal Logic with Nominal Terms. In: Fahrenberg, U., Fussner, W., Santocanale, L. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2026. Lecture Notes in Computer Science, vol 16526. Springer.
📖 Handbook Chapter
A. Di Nola, I. Leuştean. Łukasiewicz logic and MV-algebras. In: P. Cintula, P. Hájek, C. Noguera (Eds.), Handbook of Mathematical Fuzzy Logic (Volume 2), Studies in Logic 37, College Publications, London, 1–102, 2011.
Full List of Publications. See also
🎓 Ph.D. Students
Bogdan Macovei (current)
Natalia Moangă (Ozunu) (Ph.D. 2022)
📚 Teaching
I teach undergraduate and graduate courses, see details here.
📋 PC Member (recent)
RAMiCS 2027
FROM 2026
RAMiCS 2026
🏆 Awards and Research Grants
- 2008: Grigore Moisil Prize of the Romanian Academy (awarded in 2010).
- 2015–2017: Project Director, CNCS Grant Modelling uncertainty in non-classical logics.
- 2010–2013: POSDRU Postdoctoral Fellowship, University of Bucharest.
- 2007–2009: Alexander von Humboldt Research Fellowship, TU Darmstadt, Germany.