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
A. Ambainis, M. Beaudry, M. Golovkins, A. Kikusts, M. Mercer et D. Thérien, Algebraic results on quantum automata , Theory of Computing Systems , vol. 39, 2006, pp. 165-188.
M. Beaudry, F. Lemieux et D. Thérien, Groupoids that recognize only regular languages , Proc. 32th ICALP, 2005, pp. 421-433.
M. Beaudry, J.M. Fernandez, M. Holzer, A common algebraic description for probabilistic and quantum computations, , Theoretical Computer Science, vol. 345, 2005, pp. 206-234.