Research Group on Mathematical Linguistics
Research Areas
Last update:
September 12, 2006
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.
Copyright © 2006 GRLMC. All rights reserved.
>