Home

This is my old page. Please check my new page.

Currently, I am an Associate Professor at the Faculty of Mathematics and Computer Science, University of Bucharest.

I hold a Master in Theoretical Computer Science (2009) from the Mathematical Institute of the Romanian Academy, and a PhD in Mathematics (2013) from the Faculty of Mathematics and Computer Science, University of Bucharest. Please check my PhD Thesis or its abstract.

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

Please check also my CV (updated October 2016) and my profiles at Google Scholar and DBLP.

Current research project:

Contact
    Faculty of Mathematics and Computer Science,
    University of Bucharest,
    Academiei 14, 010014
    Bucharest, Romania

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