Profile

I am Denisa Diaconescu, an Associate Professor at University of Bucharest (FMI-UNIBUC), a geek enjoying a fine life, and a full-time mom.

My research interests and expertise span across the field of non-classical logics and formal verification. Recently, I am focused on semantics for distributed systems, in particular, in a correct-by-construction framework for faulty distributed systems, research I conducted as a Formal Verification Engineer at Runtime Verification Inc.

I hold a BSs in Computer Science (2007) from FMI-UNIBUC, a MSc in Theoretical Computer Science (2009) from the Mathematical Institute of the Romanian Academy, and a PhD in Mathematics (2013) from FMI-UNIBUC. I was a Postdoc in George Metcalfe's group at the University of Bern (2014-2015).

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

Research

Research Interests

  • Non-classical logics
  • Formal verification
  • Semantics of distributed systems

Selected List of Invited Talks at Conferences & Workshops

  • VLSM: a general theory for reasoning about faulty distributed systems, 10th Congress of Romanian Mathematicians, June 30 - July 5, 2023, Pitești, Romania.
  • An abstract framework for modelling faulty distributed systems, FROM 2022, September 19-20, 2022, Jassy, Romania.
  • The Curry-Howard-Lambek Correspondence, FPMeetup, January 23, 2019, Bucharest, Romania.
  • Adding modalities to many-valued logics, Fuzzy Logic meets Quantum Logic Meeting, September 25-26, 2017, Bucharest, Romania.
  • Many-Valued Modal Logics, The Swiss Graduate Society for Logic and Philosophy of Science (SGSLPS) Meeting, October 30, 2015, Bern, Switzerland.
  • Automata, Logic and Stone Duality, The Eighth Congress of Romanian Mathematicians, June 28 - July 1, 2015, Iași, Romania.
  • Automata, Logic and Stone Duality, Logic and Information ST 2015 (Münchenwiler Meeting), March 25 - 26, 2015, Münchenwiler, Switzerland.
  • Mutually exclusive nuances of truth, Beyond True and False: Logic, Algebra and Topology, December 3 - 5, 2014, Florence, Italy.

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

Publications

ArXiv

  1. Validating Labelled State Transition and Message Production Systems: A Theory for Modelling Faulty Distributed Systems (with V. Zamfir, M. Calancea, W. Kołowski, B. Moore, K. Palmskog, T.F. Şerbănuţă, M. Stay, D. Trufaș, J. Tušil), 2022. .

Journal Papers

  1. Asynchronous Muddy Children Puzzle (work in progress) (with D. Trufaș, I. Teodorescu, T. Șerbănuță, V. Zamfir), Proceedings of the 7th Symposium on Working Formal Methods, EPTCS 389, 152-166, 2023.
  2. Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations, Fundamenta Informaticae, 173(2-3), 177-189, 2020.
  3. Skolemization and Herbrand Theorems for Lattice-Valued Logics (with P. Cintula and G. Metcalfe), Theoretical Computer Science, 768, 54-75, 2019.
  4. Omitting Types Theorem for Fuzzy Logics (with P. Cintula), IEEE Transactions on Fuzzy Systems, 27(2), 273-277, 2019.
  5. A Real-Valued Modal Logic (with G. Metcalfe and L. Schnüriger), Logical Methods in Computer Science, 14(1):1-27, 2018.
  6. The Riesz hull of a semisimple MV-algebra (with I. Leuștean), Mathematica Slovaca, 65(4):801-816, 2015.
  7. Mutually exclusive nuances of truth in Moisil logic (with. I. Leuștean), Scientific Annals of Computer Science, 25(1):69-88, 2015.
  8. Lexicographic MV-algebras and lexicographic states (with T. Flaminio and I. Leuștean), Fuzzy Sets and Systems, 244:63-85, 2014.
  9. Forcing operators on MTL-algebras (with G. Georgescu), Mathematical Logic Quarterly, 57(1):47-64, 2011.
  10. Kripke-style semantics for non-commutative monoidal t-norm logic, Journal of Multiple-Valued Logic and Soft Computing, 16(3-5):247-263, 2010.
  11. Completeness of Paramodulation without lifting lemma (with V.E. Căzănescu), Romanian Journal of Information Science and Technology, 12(1):25-34, 2009.
  12. Tense operators on MV-algebras and Łukasiewicz-Moisil algebras (with G. Georgescu), Fundamenta Informaticae, 81(4):379-408, 2007.
  13. 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.

Teaching

Academic Year 2023/2024

  • Functional Programming (Undergraduate Course, FMI-UNIBUC)
  • Program Verification (Master Course, FMI-UNIBUC)

Academic Year 2022/2023

  • Functional Programming (Undergraduate Course, FMI-UNIBUC)
  • Theoretical Foundations of Programming Languages (Undergraduate Course, FMI-UNIBUC)
  • Program Verification (Master Course, FMI-UNIBUC)

Other Past Teaching Activities

  • Program Verification (Master Course, FMI-UNIBUC, 2017/2018, 2018/2019, 2021/2022)
  • Theoretical Foundations of Programming Languages (Undergraduate Course, FMI-UNIBUC, 2021/2022)
  • Mathematical Logic (Undergraduate Course, FMI-UNIBUC, 2018/2019)
  • Interactive Computation (Master Course, FMI-UNIBUC, 2016/2017 - 2018/2019)
  • Logic Programming (Undergraduate Course, FMI-UNIBUC, 2013/2014, 2015/2016 - 2017/2018)
  • College admission training (FMI-UNIBUC, 2015/2016 - 2017/2018)
  • 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)

Contact

Denisa Diaconescu

denisa.diaconescu [at] gmail.com
ddiaconescu [at] fmi.unibuc.ro

Department of Computer Science
Faculty of Mathematics and Computer Science
University of Bucharest
Academiei 14, Room 209, 010014, Bucharest, Romania