Research Areas of either Theoretical or Applied Interest
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.