Formal Languages and Automata Theory Group

Part of the School of Computing at Queen's University , the Automata and Formal Languages Group is located on the fifth floor of Goodwin Hall.

Information Concerning Our Research

The research belongs to the general area of automata and formal language theory. Some recurring themes in our work are:

Recent surveys

Current Research Projects

References to recent publications can be found on the group members' web pages.

Research Team

Current Members

Christopher Keeler
Bahram Kouhestani
Timothy Ng
Kai Salomaa

Past Members

Salimur Choudhury
Adam Clarridge
Brendan Cordy
Mike Domaratzki
Daniel Goc
Chris McAloney
Alexander Okhotin
Michael Ounsworth
Alexandros Palioudakis
Xiaoxue Piao
Afroza Rahman
Paul Schofield
David Sears
Alan Wong
Jinfeng Zan

Associate Members

Cezar Campeanu - University of Prince Edward Island
Michael Domaratzki - University of Manitoba
Alexander Okhotin - University of Turku
Alexandros Palioudakis - Yonsei University
Sandor Vagvolgyi - University of Szeged

Recent conference on automata at Queen's

Contact Information

School of Computing
Queen's University
Kingston, Ontario K7L 3N6, Canada

Telephone: +(613) 533-6073
(or use the Queen's electronic phone book for specific individuals)