Kai T. Salomaa Associate Professor School of Computing Queen's University Kingston, Ontario K7L 3N6, Canada Tel: (613) 533-6073 Fax: (613) 533-6513

My research belongs to the general area of theory of computation. My current research interests include:

• descriptional complexity of automata and grammars
• state-complexity and transition complexity of finite automata, algorithms for automata operations and implementation
• nondeterminism measures for (pushdown) automata, complexity of parsing
• tree automata, nested word automata
• language decompositions, trajectories, synchronization expressions

Formal Languages and Automata Theory Research Group

Teaching in 2008/2009

• Software Specifications CISC-223, Winter 2009
• Computational Complexity CISC-876, Fall 2008

Publications

• Publications since 2005
• Publications 2000 - 2004
• Publications 1995 - 1999
• Earlier publications

Conference Programme Committees

• 14th International Conference Developments in Language Theory, DLT'10, August 17 - 20, 2010, London, Canada
• 15th International Conference on Implementation and Application of Automata, CIAA 2009, August 12 - 15, 2010, Winnipeg, Canada
• 12th Workshop on Descriptional Complexity of Formal Systems, DCFS'10, August 8 - 10, 2010, Saskatoon, Canada
• 9th International Conference on Unconventional Computation, UC'10, June 21 - 25, 2010, Tokyo, Japan
• 4th International Conference on Language and Automata Theory and Applications, LATA 2010, May 24 - 28, 2010, Trier, Germany
• 8th International Conference on Unconventional Computation, UC 2009, September 7 - 11, 2009, Ponta Delgada (Azores), Portugal
• Non-Classical Models of Automata and Applications, NCMA'09, August 31 - September 1, 2009, Wroclaw, Poland
• 4th International Computer Science Symposium in Russia, CSR 2009, August 18 - 23, 2009, Novosibirsk, Russia
• 14th International Conference on Implementation and Application of Automata, CIAA 2009, July 14 - 17, 2009, Sydney, Australia
• 3rd International Conference on Algebraic Informatics, CAI 2009, May 19 - 22, 2009, Thessaloniki, Greece
• 12th International Conference Developments in Language Theory, Kyoto, Japan, September 16 - 19, 2008.
• 7th International Conference on Unconventional Computation, UC 2008, Vienna, Austria, August 25 - 28, 2008.
• 10th International Workshop Descriptional Complexity of Formal Systems, Charlottetown, Prince Edward Island, July 16 - 18, 2008.
• The 12th International Conference on Automata and Formal Languages, Balatonfured, Hungary, May 27-30, 2008.
• 2nd International Conference on Language and Automata Theory and Applications, Tarragona, Spain, March 13 - 19, 2008.
• 12th International Conference on Implementation and Application of Automata, Prague, Czech Republic, July 16 - 18, 2007.
• Workshop Language Theory in Biocomputing at UC'07, Kingston, Canada, August, 2007.
• Theory and Applications of Language Equations, TALE, Turku, Finland, July 2, 2007.
• 1st International Conference on Language and Automata Theory and Applications, LATA 2007, Tarragona, Spain, March 29 - April 4, 2007.
• 11th International Conference on Implementation and Application of Automata, CIAA 2006, Taipei, Taiwan, August 21-23, 2006.
• Tenth International Conference Developments in Language Theory, Santa Barbara, CA, USA, June 26 - 29, 2006.
• 10th International Conference on Implementation and Application of Automata, CIAA 2005, University of Nice, Sophia Antipolis, France, June 27 - 29, 2005.
• DCFS 2005 - Descriptional Complexity of Formal Systems, Como, Italy, June 30 - July 2, 2005.
• 11th International Conference on Automata and Formal Languages, AFL'05, Dobogoko, Hungary, May 17 - 20, 2005.
  • Photos from AFL'05.
• Eigth International Conference on Developments in Language Theory, DLT 2004, Auckland, New Zealand, December 13 - 17, 2004.
• Ninth International Conference on Implementation and Application of Automata, CIAA 2004 , Queen's University, Kingston, July 22-24, 2004.
• Eighth International Conference on Implementation and Application of Automata, CIAA 2003 , Santa Barbara, CA, July 16-18, 2003.
• 5th Workshop Descriptional Complexity of Formal Systems, DCFS - 2003, Budapest, Hungary, July 12-14, 2003.
• Sixth International Conference Developments in Language Theory, DLT 2002, Kyoto, Japan, September 18 - 21, 2002.
• Seventh International Conference on Implementation and Application of Automata, CIAA 2002, Tours, France, July 3 - 6, 2002.
• Third International Conference on Discrete Mathematics and Theoretical Computer Science DMTCS01
• Descriptional Complexity of Automata, Grammars and Related Structures, Third Workshop, DCAGRS2001 (July 20 - 22, 2001, Vienna, Austria)

Hobbies

• Go - Baduk - Weichi
  (Photographs by Alexander Okhotin)