Profile

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

My research interests and expertise span across the field of non-classical logics, formal verification, and blockchain technologies. Nowadays, I am focused on correct-by-construction frameworks for faulty distributed systems and consensus protocols.

I hold a BSc 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, DBLP, and LinkedIn.

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.

Contact