Research interests
Current research interests are in the area of logic for specification and verification, with a particular focus
in manysorted modal logic. Former research belongs to the area of manyvalued logic, which I approached
from various perspectives: logical, algebraic, probabilistic.
Current PhD students: Natalia Moangă,
Bogdan Macovei, Andrei Ciobanu
Habilitation in Computer Science, FMI, UB
Publications
[DBLP] [Zentralblatt] [Google Scholar]
[ORCID]
Married to Laurentiu Leuștean, three children.
Consider applying to our new master programme Security & Applied Logic.
Awards. Grants. Fellowships

Grant CNCS
Modelling uncertainty in nonclassical logics
[October 2015  September 2017]  The 2008 "Grigore Moisil" Prize of the Romanian Academy
[awarded in 2010]  Alexander von Humboldt research fellowship, Technische Universität Darmstadt
[September 2007  August 2009]
Teaching (mostly in Romanian)
20212022
 FUNDAMENTELE LIMBAJELOR DE PROGRAMARE [pagina cursului]
 SPECIAL TOPICS IN LOGIC AND SECURITY [slides]
 IMPLEMENTAREA CONCURENTEI IN LIMBAJE DE PROGRAMARE [cursuri]
20202021
 FUNDAMENTELE LIMBAJELOR DE PROGRAMARE [pagina cursului]
 PROGRAMARE FUNCTIONALA [pagina cursului]
 SPECIAL TOPICS IN LOGIC AND SECURITY [slides]
20192020
 TOPICI SPECIALE în LOGICĂ şi SECURITATE [ pagina cursului]
 PROGRAMARE LOGICĂ [ pagina cursului ][moodle]
 PROGRAMARE DECLARATIVĂ [ cursuri]
 SPECIAL TOPICS IN COMPUTER SCIENCE
[curs scoala doctorala 2019]
Past courses (selection)
 Implementarea concurentei in limbaje de programare 20172018 [cursuri]
 Logica matematica si computationala(ID) 20172018
[moodle] [Curs10][Curs11][Curs2][Curs3] [TeoremePC][Materiale]  Programare logica [curs 2013]
 Logica matematica si computationala [curs 2014 ]
 Tehnici Web [ curs 2017] [laborator 2017]
Publications
Papers in Journals/Proceedings/Collections
43. DELP: Dynamic Epistemic Logic for Security Protocols (with Bogdan Macovei). arXiv:2109.05599, FROM 2021, Proceedings of SYNASC 2021(accepted).
42. ManySorted Hybrid Modal Languages (with Natalia Moangă and Traian Florin Şerbănuţă), JLAMP 120, 2021, https://doi.org/10.1016/j.jlamp.2021.100644. arXiv:2007.01709
41. From Hybrid Modal Logic to Matching Logic and back (with Natalia Moangă and Traian Florin Şerbănuţă), FROM 2019, EPTCS 303, 2019, 1631. arXiv:1907.05029
40. Operational semantics and program verification using manysorted hybrid modal logic (with Natalia Moangă and Traian Florin Şerbănuţă), TABLEAUX 2019, 446476. arXiv:1905.05036
39. A manysorted polyadic modal logic (with Natalia Moangă and Traian Florin Şerbănuţă), Fundamanenta Informaticae 173 (23), 191215,2020. arXiv:1803.09709
38. On the semisimple tensor product of MValgebras, (with Serafina Lapenta), Fuzzy Sets and Systems, 2019, doi:10.1016/j.fss.2019.07.008.
37. Infinitary logic and basically disconnected compact Hausdorff spaces, (with Antonio Di Nola and Serafina Lapenta), Journal of Logic and Computation 28(6), 12751292, 2018. postprint.
36. An analysis of the logic of Riesz Spaces with strong unit (with Antonio Di Nola and Serafina Lapenta), Annals of Pure and Applied Logic 169(3), 216234, 2018. arXiv:1607.08030v3
35. Towards game semantics for nuanced logics (with Denisa Diaconescu), FUZZIEEE 2017, doi: 10.1109/FUZZIEEE.2017.8015600.
34. Notes on divisible MValgebras (with Serafina Lapenta), Soft Computing 21(21), 62136223, 2017. arXiv:1605.01230
33. A general view on normal form theorems for Lukasiewicz logic with product (with Serafina Lapenta), in "Concepts of Proof in Mathematics, Philosophy and Computer Science". Dieter Probst and Peter Schuster (eds.). Ontos Mathematical Logic. Walter de Gruyter, Berlin. preprint
32. Scalar extensions for algebraic structures of Lukasiewicz logic (with Serafina Lapenta), Journal of Pure and Applied Algebra 220, 15381553, 2016 [doi:10.1016/j.jpaa.2015.09.017]. arXiv:1410.8298
31. Stochastic independence for probability MValgebras (with Serafina Lapenta), Fuzzy Sets and Systems 298, 94–206, 2016.
30. Towards understanding the PierceBirkhoff conjecture via MValgebras (with Serafina Lapenta), Fuzzy Sets and Systems 276, 114130, 2015. arXiv:1410.5593
29. Mutually exclusive nuances of truth in Moisil logic (with Denisa Diaconescu), Scientific Annals of Computer Science "Alexandru Ioan Cuza" Univ. of Iasi, vol. 25, 6988, 2015 (special issue dedicated to Professor Sergiu Rudeanu on his 80th birthday).
28. The Riesz MValgebra hull of an MValgebra (with Denisa Diaconescu ), Mathematica Slovaca 65(4) (2015), 801–816, 2015 (special issue in honor of Antonio Di Nola). arXiv:1410.8438
27. Lukasiewicz logic and Riesz spaces (with Antonio Di Nola), Soft Computing, Volume 18, Issue 12, 23492363, 2014. arXiv:1309.1575
26. Lexicographic MValgebras and lexicographic states (with Denisa Diaconescu and Tommaso Flaminio), Fuzzy Sets and Systems 244 (2014), 6385.
25. Adding Real Coefficients to Lukasiewicz Logic: An Application to Neural Networks, (with Brunella Gerla and Antonio Di Nola), F. Masulli, G. Pasi, and R. Yager (Eds.): WILF 2013, LNCS 8256, pp. 77–85, 2013.
24. Statecomplete Riesz MValgebras and Lmeasure spaces, S. Greco et al. (Eds.): IPMU 2012, Part II, CCIS 298, 226–234, 2012.
23. HahnBanach theorems for MValgebras, Soft Computing, Volume 16, Issue 11, 18451850, 2012 .
22. Riesz MValgebras and their logic (with A. Di Nola), Proceedings of EUSFLATLFA 2011, 140145.
21. Metric completions of MValgebras with states. An approach to stochastic independence. Journal of Logic and Computation 21, Issue 3 (2011), 493508.
20. Tensor products of probability MValgebras, Journal of MultipleValued Logic and Soft Computing 16, No. 35 (2010), 405419.
19. A determination principle for algebras of nvalued Lukasiewicz logic, Journal of Algebra 320 (2008), 3694 3719.
18. αconvergence and complete distributivity in MValgebras, Journal of MultipleValued Logic and Soft Computing, Vol. 12, No. 34 (2006) , 309319
17. Order convergence and distance on LukasiewiczMoisil algebras(with George Georgescu and Andrei Popescu),
Journal of MultipleValued Logic and Soft Computing 12 (2006), no. 12, 3369.
16. Similarity MValgebras (with Brunella Gerla),
Fundamenta Informaticae, Volume 69, No. 3 (2006), 287300.
15. Noncommutative Lukasiewicz propositional logic, Archive for Mathematical Logic, Volume 45, No. 2 (2006), 191213.
14. Manyvalued logics and similarities (with Brunella Gerla),
Proceedings of the 10th International Conference IPMU (2004), 477484.
13. MValgebras with operators: the commutative and the noncommutative case (with Paul Flondor), Discrete Mathematics, Volume 274, No. 13 (2004), 4176.
12. Extension of probabilities defined on MValgebras,
Analele Universitatii Bucuresti  Matematica, Volume 52, No. 1 (2003), 2330.
11.
Tensor Products of MValgebras (with P. Flondor),
Soft Computing 7 (2003), 446457, 2003.
10. MVmodules (with Antonio di Nola and Paul Flondor),
Journal of Algebra, Volume 267, No. 1 (2003), 2140.
9. Cauchy completions of MValgebras (with Richard Ball and George Georgescu),
Algebra Universalis, Volume 47, No. 4 (2002), 367407.
8. Local pseudoMV algebras,
Soft Computing, Volume 5, No. 5 (2001), 386395.
7. States on Perfect MValgebras (with Antonio di Nola and George Georgescu,
V. Novak, I. Perfilieva (eds.), Discovering the World With Fuzzy Logic,
Studies in Fuzziness and Soft Computing 57, Physica, Heidelberg, 105125, 2000.
6. Towards a probability theory based on Moisil logic (with George Georgescu),
Soft Computing, Volume 4, No. 1 (2000), 1926.
5. A representation theorem for monadic Pavelka algebras (with George Georgescu),
Journal of Universal Computer Science, Volume 6, No. 1 (2000), 105111.
4. Probabilities on LukasiewiczMoisil algebras (with George Georgescu),
International Journal of Approximate Reasoning, Volume 18, No. 34 (1998), 201215.
3. Monadic and closure MValgebras (with George Georgescu and Afrodita Iorgulescu),
MultipleValued Logic, Volume 3, No. 3 (1998), 235257.
2. Convergence in perfect MValgebras (with George Georgescu),
Journal of Mathematical Analysis and Application, Volume 228, No. 1 (1998), 96111.
1. Conditional probabilities on LukasiewiczMoisil algebras, Analele Universitatii Bucuresti  Matematica, Volume 47 (1998), 5564.
Books and Handbook Chapters
2. MValgebras and Lukasiewicz logic (with Antonio di Nola),
P. Cintula, P. Hajek, C. Noguera (eds.), Handbook of Mathematical Fuzzy Logic  volume 2,
Studies in Logic, Vol. 38, College Publications, London, 469583, 2011.
Preliminary version.
1. Contributions to the theory of MValgebras: MVmodules, Editura Universitara, Bucuresti, 2009. Volume based on my PhD Thesis.
as Editor
1. Algebra and Probability in ManyValued Reasoning, Special issue. Studia Logica Volume 94, No. 2, 2010. Edited by Ioana Leustean and Vincenzo Marra.
Conferences
Conferences/Workshops/Special sessions (as organizer)
 ManyVal2019
Bucharest, Romania, November 13, 2019.  FROM2017
Bucharest, Romania, July 58, 2017. 
CiE 2015
Bucharest, Romania, June 29July 3, 2015
Special session: Automata, logic and infinite games (coorganized with Dietmar Berwanger) 
IPMU 2012
Catania, Italy, July 913, 2012
Special session: Formal Methods to Deal with Uncertainty of ManyValued Events (coorganized with Tommaso Flaminio and Enrico Marchioni) 
Algebra and Probability in ManyValued Logics
May 79, 2009, Darmstadt, Germany
(main organizer, financed by Alexander von Humboldt Foundation)
Invited talks

SYNASC 2020 (online conference),
West University Timisoara, Romania, September 14, 2020. 
Geometry and non Classical Logics,
Salerno, Italy, September 58, 2017. 
DACS: Days of Computer Science 2016,
Bucharest, Romania, July 34, 2016. 
Soft Computing Days 2016,
Salerno, Italy, May 2325, 2016 
Beyond True and False: Logic, Algebra and Topology
Florence, Italy, December 35, 2014 
35th Linz Seminar of Fuzzy Set Theory
Linz, Austria, February 1822, 2014 
Anniversary Conference: Faculty of Science 150 years
Bucharest, Romania, August 29September 1, 2013

Proof. An International Conference within the Frame of HumboldtKollegs
Bern, Switzerland, September 913, 2013 
ManyVal'12
Salerno, Italy, July 47, 2012  Logic, Algebra and Truth Degrees 2010
September 711, 2010, Prague, Czech Republic  Probability, Uncertainty and Rationality
November 13, 2009, Pontignano, Italy
Other talks
 FUZZIEEE 2017
Naples, Italy, July 912, 2017  IPMU 2012
Catania, Italy, July 913, 2012 
EUSFLAT 2011: 7th conference of the European Society for Fuzzy Logic and Technology
AixLesBains, France, 18  22 July 2011. 
ManyVal'10. Beyond algebraic semantics: bridging intended and formal interpretations of manyvalued logics
May 35, 2010, Varese, Italy 
Topology, Algebra and Categories in Logic
July 711, 2009, Amsterdam, Holland 
Logic, Algebra and Truth Degrees
September 811, 2008, Siena, Italy. 
ManyVal'08, Applications of Topological Dualities to Measure Theory in Algebraic ManyValued Logic
May 1921, 2008, Milan, Italy. 
75th Workshop on General Algebra
November 24, 2007, Darmstadt, Germany.
Contact
Faculty of Mathematics and Computer Science
University of Bucharest
Str. Academiei 14, sector 1,
010014, Bucharest, Romania
Email: ioana.leustean at unibuc.ro
Office: room 209