I am an Associate Professor at the Department of Computer Science of the Faculty of Mathematics and Computer Science, University of Bucharest (FMI-UNIBUC). I am part of the Logic and Security Group.

I also part of the Runtime Verification team, working on formal verification of smart contracts.

I hold a Bachelor's degree in Computer Science (2007) from FMI-UNIBUC, University of Bucharest, a Master's Degree in Theoretical Computer Science (2009) from the Mathematical Institute of the Romanian Academy, and a Doctorate in Mathematics (2013) from FMI-UNIBUC. Please check my PhD Thesis or its Abstract.

My research interests and expertise span across the field of non-classical logics, especially many-valued logics. I am interested in first-order and modal calculi, automated reasoning and algebraic semantics for non-classical logics, and formal verification.

Please check my CV for more details and my profiles at Google Scholar and DBLP.

New! We are organizing ManyVal 2019 at the University of Bucharest.


Research Interests

  • First-order non-classical logics
  • Many-valued modal logics
  • Algebraic semantics for non-classical logics
  • Automated reasoning for non-classical logics

Fellowships & Research Grants

  • 2015 – 2017     Modulo: Modelling uncertainty in non-classical logics, Romanian Ministry of Education, Young Research Teams Project PN-II-RU-TE-2014-4-0730 (member).
  • 2014 – 2015     Sciex-NMS Fellowship for Postdocs – The Swiss contribution to EU enlargement.
  • 2009 – 2012     POSDRU/88/1.5/S/56668 Fellowship for Ph.D. students.
  • 2008 – 2012     Deploy: Industrial deployment of system engineering methods providing high dependability and productivity, European Commission Project FP7, Grant No. 214158 (member).
  • 2007 – 2010     GlobalComp: models, semantics, logics and technologies for global computing, Romanian Ministry of Education, PNII Project 11052/18.09.2007 (member).

Invited Talks at Conferences & Workshops

  • The Curry-Howard-Lambek Correspondence, FPMeetup, January 23rd, Bucharest, Romania.
  • Adding modalities to many-valued logics, Fuzzy Logic meets Quantum Logic: the first joint Bucharest-Cagliari Logical Meeting, September 25-26, 2017, Bucharest, Romania.
  • Many-Valued Modal Logics, The Swiss Graduate Society for Logic and Philosophy of Science (SGSLPS) Meeting, October 30th, 2015, Bern, Switzerland.
  • Automata, Logic and Stone Duality, The Eighth Congress of Romanian Mathematicians, June 28th - July 1st, 2015, Iași, Romania.
  • Automata, Logic and Stone Duality, Logic and Information ST 2015 (Münchenwiler Meeting), March 25th - 26th, 2015, Münchenwiler, Switzerland.
  • Mutually exclusive nuances of truth, Beyond True and False: Logic, Algebra and Topology, December 3rd - 5th, 2014, Florence, Italy.

Please check my CV for more details and my profiles at Google Scholar and DBLP.


Journal Papers

  1. Skolemization and Herbrand Theorems for Lattice-Valued Logics (with P. Cintula and G. Metcalfe), Theoretical Computer Science, 768, 54-75, 2019.
  2. Omitting Types Theorem for Fuzzy Logics (with P. Cintula), IEEE Transactions on Fuzzy Systems, 27(2), 273-277, 2019.
  3. A Real-Valued Modal Logic (with G. Metcalfe and L. Schnüriger), Logical Methods in Computer Science, 14(1):1-27, 2018.
  4. The Riesz hull of a semisimple MV-algebra (with I. Leuștean), Mathematica Slovaca, 65(4):801-816, 2015.
  5. Mutually exclusive nuances of truth in Moisil logic (with. I. Leuștean), Scientific Annals of Computer Science, 25(1):69-88, 2015.
  6. Lexicographic MV-algebras and lexicographic states (with T. Flaminio and I. Leuștean), Fuzzy Sets and Systems, 244:63-85, 2014.
  7. Forcing operators on MTL-algebras (with G. Georgescu), Mathematical Logic Quarterly, 57(1):47-64, 2011.
  8. Kripke-style semantics for non-commutative monoidal t-norm logic, Journal of Multiple-Valued Logic and Soft Computing, 16(3-5):247-263, 2010.
  9. Completeness of Paramodulation without lifting lemma (with V.E. Căzănescu), Romanian Journal of Information Science and Technology, 12(1):25-34, 2009.
  10. Tense operators on MV-algebras and Łukasiewicz-Moisil algebras (with G. Georgescu), Fundamenta Informaticae, 81(4):379-408, 2007.
  11. On the forcing semantics for monoidal t-norm based logic (with G. Georgescu), Journal of Universal Computer Science, 13(11):1550-1572, 2007.

Conference Papers

  1. Towards game semantics for nuanced logics (with Ioana Leuștean), FUZZ-IEEE 2017, 1-6.
  2. Axiomatizing a Real-Valued Modal Logic (with G. Metcalfe and L. Schnüriger), AiML 2016, King's College Publications, 236-251, 2016.
  3. Skolemization for Substructural Logics (with P. Cintula and G. Metcalfe), LPAR 2015, 1-15, 2015.
  4. Exploring infinitesimal events through MV-algebras and non-Archimedean states (with A.R. Ferraioli, T. Flaminio and B. Gerla), IPMU 2014, Communications in Computer and Information Science, Vol. 443, Springer, 385-394, 2014.
  5. A logical descriptor for regular languages via Stone duality (with S. Aguzzoli, T. Flaminio), ICTAC 2014, LNCS, Vol. 8687, Springer, 25-42, 2014.
  6. Refinement of Structured Interactive Systems (with L. Petre, K. Sere and Gh. Ştefănescu), ICTAC 2014, LNCS, Vol. 8687, Springer, 133-150, 2014.
  7. On standard completeness for non-commutative many-valued logics, IJCCI 2012 - Revised Selected Papers, Computational Intelligence, Studies in Computational Intelligence, Vol. 577, 213-227, Springer, 2015.
  8. Non-commutative fuzzy logic psMTL – an alternative proof for the standard completeness theorem, IJCCI 2012, SciTePress, 350-356, 2012, Best Student Paper Award.
  9. Non-commutative product logic and probability of fuzzy events, IPMU 2012, Communications in Computer and Information Science, Vol. 298, Springer, 194-205, 2012.
  10. Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems (with I. Leuştean, L. Petre, K. Sere and Gh. Ştefănescu), iFM 2012, LNCS, Vol. 7321, Springer, 221-236, 2012.

Please check my CV for more details and my profiles at Google Scholar and DBLP.


Academic Year 2018/2019

Academic Year 2017/2018

Academic Year 2016/2017

Academic Year 2015/2016

  • Logic Programming (Undergraduate Course, FMI-UNIBUC)
  • College admission training (FMI-UNIBUC)

Academic Year 2013/2014

  • Logic Programming (Undergraduate Course, FMI-UNIBUC)

Other Past Teaching Activities

  • Logic and Model Theory (Assistant, Mathematical Institute, University of Bern, 2014/2015)
  • Algebra I (Assistant, Mathematical Institute, University of Bern, 2014/2015)
  • Methods for Software Development (Assistant, FMI-UNIBUC, 2009/2010 - 2013/2014)
  • Declarative Programming (Assistant, FMI-UNIBUC, 2008/2009 - 2012/2013)
  • Object-Oriented Programming (Assistant, FMI-UNIBUC, 2008/2009)


Denisa Diaconescu

Department of Computer Science
Faculty of Mathematics and Computer Science
University of Bucharest

Emails: denisa.diaconescu [at], ddiaconescu [at]
Address: Str. Academiei 14, sector 1, 010014, Bucharest, Romania
Room: 209