I also part of the Runtime Verification team, working on formal verification of smart contracts.
I hold a Bachelor's degree in Computer Science (2007) from FMI-UNIBUC, University of Bucharest, a Master's Degree in Theoretical Computer Science (2009) from the Mathematical Institute of the Romanian Academy, and a Doctorate in Mathematics (2013) from FMI-UNIBUC. Please check my PhD Thesis or its Abstract.
My research interests and expertise span across the field of non-classical logics, especially many-valued logics. I am interested in first-order and modal calculi, automated reasoning and algebraic semantics for non-classical logics, and formal verification.
New! We are organizing ManyVal 2019 at the University of Bucharest.