Natural computing is the field of research that investigates models and computational techniques inspired by nature and, dually, attempts to study the world around us in terms of information processing. This approach helps us to better understand both natural processes and the essence of computation.

Membrane computing is a sub-area of natural computing that abstracts distributed computing models from the architecture and the functioning of living cells, as well as from the organization of cells in tissues, organs, or other higher-order structures such as colonies of cells (e.g., of bacteria).

DNA computing is a branch of natural computing building unconventional computational models based on operations that mimic the features and the behavior of DNA (double) strands and also perform computations using biological molecules, rather than traditional silicon chips.

I have contributed to the theory of both fields by introducing new models and providing several results. My research focuses on descriptional and computational complexity questions in these areas of natural computing.

Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science.

In  computer science, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules or conditions. Formal language theory studies primarily the purely syntactical aspects of such languages. The theory provides basic formal tools for example, for programming languages, formalized descriptions of subsets of natural languages, and for computational  complexity theory, and logics.

My research focuses on modelling distributed systems by formal grammars and automata, in particular descriptional and computational complexity questions, and their computational power. I am co-founder of grammar systems theory, a subfield dealing with distributed and cooperating grammars and automata.