Data si locul nasterii: 21 octombrie 1971, Bucuresti.
Educatia: Absolventa a Sectiei de Informatica, Facultatea de Matematica, Universitatea Bucuresti, 1995.
Absolventa a Sectiei de Master in Informatica Teoretica, Facultatea de Matematica, Universitatea din Bucuresti, 1996.
Teza de doctorat: "Contributions to the theory of MV-algebras. MV-modules", Universitatea din Bucuresti, 2004.
Cond. stiintific: Prof.dr. Sergiu Rudeanu.
Pozitii academice: Asistent (1999 - prezent). Preparator (1996 - 1999).
Cursuri predate: Programare Logica (2009-2010, sem. II)
Domenii de interes stiintific: Logica cu mai multe valori. Structuri algebrice ordonate. Aplicatii ale logicii in informatica.
Premii: Bursa "Alexander von Humbold" la Facultatea de Matematica, Universitatea Tehnica din Darmstadt, Germania
(septembrie 2007 - septembrie 2009)
Personal Web Page.
Articole stiintifice
- I. Leustean, Tensor products of probability MV-algebras, Journal
of Multiple-Valued Logic and Soft Computing 16, Number 3-5 (2010), 405-419.
- I. Leustean, Metric completions of MV-algebras with states. An approach to stochastic independence., Journal of Logic and Computation, 2009, doi:10.1093/logcom/exp016.
-
I. Leustean, A determination principle for algebras of
n-valued Lukasiewicz logic, Journal of Algebra 320 (2008), 3694- 3719.
[MR2457717]
-
I. Leustean, alpha-convergence and complete distributivity in MV-algebras, Journal of Multiple-Valued Logic and Soft Computing, Journal of Multiple-Valued Logic and Soft Computing 12 (2006), no. 3-4, 309-315.
[MR2288819]
-
G. Georgescu, I. Leustean, A. Popescu, Order convergence and distance on Lukasiewicz-Moisil algebras, Journal of Multiple-Valued Logic and Soft Computing 12 (2006), no. 1-2, 33-69.
[MR2211526]
- B. Gerla, I. Leustean, Similarity MV-algebras, Fundamenta Informaticae 69 (2006), no. 3, 287-300. [MR2350927]
-
I. Leustean, Non-commutative Lukasiewicz propositional logic, Archive for Mathematical Logic 45 (2006), no. 2, 191-213.
[MR2209743]
-
P. Flondor, I. Leustean, MV-algebras with operators: the commutative and the non-commutative case, Discrete Mathematics 274 (2004), no. 1-3, 41-76.
[MR2025075]
-
B. Gerla, I. Leustean, Many-valued logics and similarities, Proceedings of the 10th International Conference IPMU (Information Processing and management of Uncertainty in Knowledge-Based Systems),
July 4-9, 2004, Perugia, Italy, 477-484, 2004.
-
I. Leustean, Extension of probabilities defined on MV-algebras, Analele Universit\u a\c tii Bucure\c sti 52 (2003), no. 1, 23-30.
-
A. Di Nola, P. Flondor, I. Leustean, MV-modules, Journal of Algebra 267 (2003), no.1, 21-40.
[MR1993466]
-
P. Flondor, I. Leustean, Tensor Products of MV-algebras, Soft Computing 7 (2003), 446-457.
-
R. Ball, G. Georgescu, I. Leustean, Cauchy completions of MV-algebras, Algebra Universalis 47 (2002), 367-407.
[MR1923075]
-
I. Leustean, Local pseudo-MV algebras, Soft Computing 5 (2001), no.5, 386-395.
-
G. Georgescu, I. Leustean, Towards a probability theory based on Moisil logic, Soft Computing 4 (2000), no.1, 19-26.
-
G. Georgescu, I. Leustean, A representation theorem for monadic Pavelka algebras, Journal of Universal Computer Science 6 (2000), no. 1, 105-111.
-
G. Georgescu, I. Leustean, Probabilities on Lukasiewicz-Moisil algebras, International Journal of Approximate Reasoning 18 (1998), no.3-4, 201-215.
[Zbl 0942.06005]
-
G. Georgescu, A. Iorgulescu, I. Leustean, Monadic and closure MV-algebras, International Journal of Multiple-Valued Logic 3 (1998), no.3, 235-257.
-
G. Georgescu, I. Leustean, Convergence in perfect MV-algebras, Journal of Mathematical Analysis and Application 228 (1998), no.1, 96-111.
[MR1659881]
-
G. Georgescu, I. Leustean, Conditional probabilities on Lukasiewicz-Moisil algebras, Analele Universit\u a\c tii Bucure\c sti 47 (1998), 55-64.
Carti, colectii, capitole de carte
-
Algebra and Probability in Many-Valued Reasoning
, I. Leustean,
V. Marra (eds.), special issue,Studia Logica 94 (2), 2010.
-
Contributions to the theory of MV-algebras: MV-modules, I. Leustean, Editura Universitar\u a, Bucure\c sti, 2009
(volum pe baza tezei de doctorat).
-
A. Di Nola, G. Georgescu, I. Leustean, States on Perfect MV-algebras, in V. Novak, I. Perfilieva (eds.),
Discovering the World With Fuzzy Logic, Stud. Fuzziness Soft Comput., 57, Physica, Heidelberg, 105-125, 2000.
[MR1858098]
Lucrari prezentate in conferinte
-
Algebra and Probability in Lukasiewicz logic (invited talk),
Probability, Uncertainty and Rationality, Certosa di Pontignano (Siena), Italy, 2009.
-
Kakutani duality for MV-algebras (cu V. Marra) (featured talk), Topology, Algebra and Categories in Logic, Amsterdam, Holland, 2009.
-
A logical approach to Riesz spaces, Logic, Algebra and Truth Degrees, College Santa Chiara, Siena, Italy, 2008.
-
A notion of independence for probability MV-algebras, ManyVal'08 - Applications of Topological Dualities to Measure Theory in
Algebraic Many-Valued Logic, University of Milan, Italy, 2008.
-
A determination principle for the algebras of the n-valued Lukasiewicz logic,
75th Workshop on General Algebra, TU Darmstadt, Germany, 2007.