My research interests lie in studying various computational models, like state machines - automata, (stream) X-machines, membrane systems, generative devices - formal grammars, grammar systems, DNA based mechanisms, and in their applications to formal verification and testing, software engineering, systems & synthetic biology, artificial life, agent based systems.
Our research is directly related to investigations regarding:
-- Prof Sergey Verlan from The University Paris 12
-- Prof Gexiang Zhang - Southwest Jiaotong University
- artificial life, self-assembly, systems & synthetic biology developed by Prof Natalio Krasnogor group
- biomolecular computations and dynamics of Prof Vincenzo Manca group
- unconventional programming language paradigms and especially the MGS language developed by Prof Jean-Louis Giavitto group
Kernel P systems is a new research area investigating a specification language based on membrane systems.
A first technical report is here and some examples are here. A website with the code for these examples and some experiments for 3-colouring problems is here. A Google site with details about the language is here.
Links to related pages:
Francesco Bernardini BCS distinction