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.