Department of Computer Science
Faculty of Mathematics and Computer Science
University of Bucharest, Romania
- Topology, Universal Algebra, MV Algebras, Wajsberg algebras, Pseudo-Hoops, Applications to Many-Valued Logics
- Algebra and Category Theory, their Applications to Computer Science, Algebraic Models for the Semantics of Programs.
- Formal Languages, Contextual Languages and Grammars, 2D-languages.
- Unconventional Models of Computation, Natural Computing, Membrane Computing, Splicing.