Data si locul nasterii: 23 noiembrie 1984, Bucuresti.
Educatia: Facultatea de Matematica si Informatica, Universitatea Bucuresti, Licenta in Informatica, 2007.
Scoala Normala Superioara Bucuresti, Master in Informatica, 2009.
Teza de doctorat: "Many-valued logics with non-commutative conjunction", Universitatea din Bucuresti, 2012, Cond. stiintific: Prof.dr. George Georgescu.
Pozitii academice: Preparator (2008 - prezent).
Domenii de interes stiintific: Logici cu mai multe valori. Logici necomutative. Logici modale si temporale. Teoria modelelor. Aplicatii ale logicii in informatica.
Activitate didactica:
Seminarii si Laboratore de Programare Logica, Programare Declarativa, Metode de dezvoltare de software, Programare orientata pe obiecte.
Pagina Web Personala .
Articole stiintifice
-
D.Diaconescu, Non-commutative fuzzy logic psMTL – an alternative proof for the standard completeness theorem, acceptat, Proceedings of the 4th International Conference FCTA (Fuzzy Computation Theory and Applications) (2012).
-
D. Diaconescu, Non-commutative product logic and probability of fuzzy events, Proceedings of the 14th International Conference IPMU (Information Processing and Management of Uncertainty in Knowledge-based Systems), Advances in Computational Intelligence, Vol. 298 (2012), Springer-Verlag, 194-205.
-
D. Diaconescu, I. Leustean, L. Petre, K. Sere, Gh. Stefanescu, Refinement Preserving Translation from Event-B to Register-Voice Interactive Systems, Proceedings of the 9th International Conference iFM (Integrated Formal Methods), Lecture Notes in Computer Science, Vol. 7321 (2012), Springer-Verlag, 221-236.
-
D. Diaconescu, G. Georgescu, Forcing operators on MTL-algebras, Mathematical Logic Quarterly, Vol. 57 (2011), No. 1, 47-64.
-
D. Diaconescu, I. Leustean, L. Petre, K. Sere, Gh. Stefanescu, Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems, TUCS Technical Reports No. 1028, Turku Center for Computer Science, December 2011.
-
D. Diaconescu, Kripke-style semantics for non-commutative monoidal t-norm logic, Journal of Multiple-Valued Logic and Soft Computing, Vol.16 (2010), No. 3-5, 247-263.
-
D. Diaconescu, V.E. Cazanescu, Completeness of Paramodulation without lifting lemma, Romanian Journal of Information Science and Technology, Vol. 12 (2009), No.1, 25-34.
-
D. Diaconescu, G. Georgescu, Tense operators on MV-algebras and Łukasiewicz-Moisil algebras, Fundamenta Informaticae, Vol. 81 (2007), No. 4, 379-408.
-
D. Diaconescu, G.Georgescu, On the forcing semantics for monoidal t-norm based logic, Journal of Universal Computer Science, Vol. 13 (2007), No. 11, 1550-1572.
Comunicari stiintifice
-
Many-valued logics with non-commutative conjunctions, Summer School on Language Frameworks, Sinaia, Romania, 2012.
-
Non-commutative product logic and probability of fuzzy events, The 14th International Conference IPMU, Catania, Italy, 2012.
-
Schematic extensions of psMTL logic, ManyVal'12, Salerno, Italy, 2012.
-
The Logic of pseudo-t-norms, Summer School on Chemistry, Physics, Mathematics and Computer Science, Bucharest, Romania, 2011.
-
Forcing semantics for commutative and non-commutative logics, The 4th International Workshop on
Nonstandard Logics, Prague, Czech Republic, 2009.
-
Model theory for multiple-valued logics, Algebra and Probability in Many-Valued Logics, Darmstadt, Germany, 2009.
-
Institution of fuzzy logic, Conference on Logic, Algebra and Fundamentals of Computer Science,Bucharest, Romania, 2008.
-
Tense operators on MV-algebras and on Łukasiewicz-Moisil algebras, The 75th Workshop on General Algebra, Darmstadt, Germany, 2007.
-
Tense operators on Łukasiewicz-Moisil algebras, Symposium for the 100th anniversary of Grigore C. Moisil, Bucharest, Romania, 2006.