Automata, Formal Languages and its Applications

Who we are

The members of the ALFA research group have been jointly developing their research activities for more than thirty years. The group members research different aspects of theoretical computer science, mainly automata theory and formal languages as well as complexity theory and computability. These theoretical results have been extended to other application domains such as machine learning, cryptography, and bioinformatics. The group has participated in national and European-funded research projects, and its members have also developed research transfer activities (from consulting contracts to companies to patent applications on the group’s own results). They have a consolidated track record in publishing in high-impact international journals, as well as in the training of new researchers through doctoral theses and other works for Master’s and Bachelor’s degrees.

Research Lines

  • Machine learning. Grammatical Inference.
  • Natural Computing. Membrane computing and DNA computing
  • Cryptography and Cryptanalysis
  • Bioinformatics and Computational Biology
  • Automata Theory and Formal Languages
  • Computability and Complexity

Group website