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.