Research interests
My current research focuses on logic for specification and verification, with a particular emphasis on many-sorted modal logic. This builds upon my extensive prior work in many-valued logic, an area I explored through diverse logical, algebraic, and probabilistic perspectives.
Ph.D. Students: Natalia Moangă (Ozunu)(Ph.D. 2022),
Bogdan Macovei(current)
Papers in Journals/Proceedings/Collections
[Full list] [DBLP] [Google Scholar] [ResearchGate] [
ORCID]
Chapters in Handbooks
MV-algebras and Lukasiewicz logic (with Antonio di Nola), P. Cintula, P. Hajek, C. Noguera (eds.), Handbook of Mathematical Fuzzy Logic - volume 2, Studies in Logic, Vol. 38, College Publications, London, 469-583, 2011.
- Special Topics in Logic and Security [EN] M.Sc. in Security and Applied Logic, Year 2
- Concurrent Programming [RO], M.Sc. in Distributed Systems, Year 1
- Implementation of Concurrent Systems in Programming Languages [RO], B.Sc. in Computer Science, Year 3
- Logic and Functional Programming [RO], B.Sc. in Computers and Information Technology, Year 3