Research

1. Interest:
   • Theory of computation: Formal Languages, Automata and Transducers
   • Descriptional complexity, decidability, and computability
   • Bioinformatics and DNA Computation
   • Discrete mathematics in relation to computer science
   • Efficient implementation of algorithms
2. Expertise

Key words:

• Finite Automata, Formal Languages, Descriptional Complexity, Combinatorics on Words, Automata Implementation, Regular Languages, Cover Automata, Cover Languages, Similarity Relations, Minimization Algorithms, Finite Transducers, Data Mining, Blum Spaces, Static Complexity, Encoded Blum Static Complexity, Dual Complexity, Kolmogorov Complexity.

Publications

• DBLP
• Invited Conference Presentations
• Papers in Refereed Journals
• Papers in Refereed Collections
• Research Reports
  • Supervised Research Reports
• Other Papers

Software

1. Theory of Computing Software
2. Grail+

Other Research Related Activities

• Organizing Committee Chair, 10-th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2008), 16-18 July 2008, Charlottetown, PE, CANADA.
• Program Committee Member
• Member of Formal Languages and Automata Research Group
• Member of FSA Research Group