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

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

I hold a BSs in Computer Science (2007) from FMI-UNIBUC, University of Bucharest, a MSc in Theoretical Computer Science (2009) from the Mathematical Institute of the Romanian Academy, and a PhD in Mathematics (2013) from FMI-UNIBUC. In the period 07.2014 - 01.2016, I was a Postdoc at the Mathematical Institute of the University of Bern.

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


Research Interests

  • Many-valued modal logics
  • Algebraic semantics for non-classical logics
  • Automated reasoning for non-classical logics
  • Formal verification of distributed systems

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, 2019, 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. Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations, Fundamenta Informaticae, 173(2-3), 177-189, 2020.
  2. Skolemization and Herbrand Theorems for Lattice-Valued Logics (with P. Cintula and G. Metcalfe), Theoretical Computer Science, 768, 54-75, 2019.
  3. Omitting Types Theorem for Fuzzy Logics (with P. Cintula), IEEE Transactions on Fuzzy Systems, 27(2), 273-277, 2019.
  4. A Real-Valued Modal Logic (with G. Metcalfe and L. Schnüriger), Logical Methods in Computer Science, 14(1):1-27, 2018.
  5. The Riesz hull of a semisimple MV-algebra (with I. Leuștean), Mathematica Slovaca, 65(4):801-816, 2015.
  6. Mutually exclusive nuances of truth in Moisil logic (with. I. Leuștean), Scientific Annals of Computer Science, 25(1):69-88, 2015.
  7. Lexicographic MV-algebras and lexicographic states (with T. Flaminio and I. Leuștean), Fuzzy Sets and Systems, 244:63-85, 2014.
  8. Forcing operators on MTL-algebras (with G. Georgescu), Mathematical Logic Quarterly, 57(1):47-64, 2011.
  9. Kripke-style semantics for non-commutative monoidal t-norm logic, Journal of Multiple-Valued Logic and Soft Computing, 16(3-5):247-263, 2010.
  10. Completeness of Paramodulation without lifting lemma (with V.E. Căzănescu), Romanian Journal of Information Science and Technology, 12(1):25-34, 2009.
  11. Tense operators on MV-algebras and Łukasiewicz-Moisil algebras (with G. Georgescu), Fundamenta Informaticae, 81(4):379-408, 2007.
  12. 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. Formalizing Correct-by-Construction Casper in Coq (with E. Li, T. Serbanuta, V. Zamfir, G. Roșu), IEEE ICBC 2020, 1-3.
  2. Towards game semantics for nuanced logics (with Ioana Leuștean), FUZZ-IEEE 2017, 1-6.
  3. Axiomatizing a Real-Valued Modal Logic (with G. Metcalfe and L. Schnüriger), AiML 2016, King's College Publications, 236-251, 2016.
  4. Skolemization for Substructural Logics (with P. Cintula and G. Metcalfe), LPAR 2015, 1-15, 2015.
  5. 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.
  6. A logical descriptor for regular languages via Stone duality (with S. Aguzzoli, T. Flaminio), ICTAC 2014, LNCS, Vol. 8687, Springer, 25-42, 2014.
  7. Refinement of Structured Interactive Systems (with L. Petre, K. Sere and Gh. Ştefănescu), ICTAC 2014, LNCS, Vol. 8687, Springer, 133-150, 2014.
  8. 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.
  9. Non-commutative fuzzy logic psMTL – an alternative proof for the standard completeness theorem, IJCCI 2012, SciTePress, 350-356, 2012, Best Student Paper Award.
  10. Non-commutative product logic and probability of fuzzy events, IPMU 2012, Communications in Computer and Information Science, Vol. 298, Springer, 194-205, 2012.
  11. 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 2021/2022

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