Current research focuses on Formal Language Theory, its methodological potential as a mathematical tool and its applications to a number of fields.
In particular, the following areas are considered to be in the scope of the group (the list is indicative rather than exhaustive):

• Oriented to mathematics:
theoretical computer science, algebraic methods in computer science, combinatorics on words, computational logic, codes, probabilistic machines, computability and complexity, circuit theory, text and image compression, cryptography;


• Oriented to language technologies:
mathematical linguistics, parsing, finite-state techniques, mildly context-sensitive grammatical formalisms, unification, categorial logic, mathematical foundations of natural language processing;


• Oriented to bioinformatics:
computational biology, sequential methods in theoretical biology, linguistics of DNA, combinatorial algorithms for genome analysis, mathematical evolutionary genomics, text retrieval and pattern matching;


• Oriented to nature-inspired computing:
biomolecular computing, DNA computing, splicing systems, symbolic neural networks, genetic algorithms, evolutionary computing, cellular automata, quantum computing, biomolecular nanotechnology, unconventional computing;


• Oriented to artificial intelligence:
processing architectures, parallelism, grammar systems, concurrency, networks of evolutionary processors, models of artificial life, pattern recognition, grammatical inference, machine learning, programme verification.