Coordonnées

Courriel : Martin.Beaudry@USherbrooke.ca
Téléphone : 819 821-8000, poste 62016
Télécopieur : 819 821-8200
Local : D4-1010-9

Formation

M. Sc. Physique, University of British Columbia (1982)
Ph. D. Informatique, McGill University (1988)

Thèmes de recherche

  • Informatique théorique
  • Algèbre

Recherches actuelles

  • Étude de la théorie algébrique des langages et des automates et des relations entre les classifications des langages et des algèbres finies.
  • Étude des propriétés fondamentales des monoïdes et des algèbres non associatives.
  • Analyse de la complexité calculatoire de problèmes algorithmiques issus de la théorie des automates et des langages formels, de celles des monoïdes et des algèbres non associatives.
  • Détermination des propriétés algébriques de certains modèles de calcul, dont les automates et les circuits quantiques.

Publications

Autres publications

M. Beaudry, L. Marchand, Commutative subloop-free loops, Comment. Math. Univ. Carolin. 52 (2011), pp. 473-484.

M. Beaudry, M. Holzer, On the size of inverse semigroups given by generators, The-oretical Computer Science 412 (2011), pp. 765-772.

M. Beaudry, F. Lemieux, Faithful loops for aperiodic E-ordered monoids, Proc. of the 36th International Colloquium on Automata, Languages and Programming, Lecture Notes in Comp. Sci. 5556, Springer-Verlag (2009), pp. 55-66.

M. Beaudry, M. Holzer, The complexity of tensor circuit evaluation, Computational Complexity 16 (2007), pp. 60-111.