Formal Model Research Group

This group discusses formal languages and their models, such as automata, grammars and systems based upon them. It pays a special attention to the regulation of these models so they capture various context dependencies in a clear and precise way. The group also studies how to apply the formal models under investigation in various computer science areas, such as compilers any bioinformatics.