ResearchGroup Formal Languages and Automata Group Group Website Director Kai Salomaa Members Peash Saha PHD Mohammad Zakzouk PHD