Passer au contenu
Université de Montréal
/
Faculté des arts et des sciences
Département d'
informatique et de recherche opérationnelle
Je donne
Menu
Rechercher
Liens UdeM
Langues
Choix de la langue
Français
English
Liens externes
Répertoire
Facultés
Bibliothèques
Plan campus
Connexion
Mon UdeM
StudiUM
Mon courriel
Give now
Rechercher
Search
This website
All UdeM
Navigation principale
Accueil
Home
Programmes et cours
Programmes de 1er cycle
Programmes de cycles supérieurs
Cours et horaires
La recherche
Expertises de recherche
Centre, groupes, chaires et laboratoires
Nos étudiants aux cycles supérieurs
Thèses et mémoires
Ressources et services
Soutien financier
International
Stages
Parcours RECI
Soutien technique
DESI
Association étudiante
Clubs techniques parascolaires du DIRO
Soutien pédagogique
Association des diplômés
Répertoire du département
Professeurs
Chargés de cours
Personnel administratif
Professeurs associés et invités
Professeurs émérites
Professeurs affectés ESP
Notre département
Présentation
Qu'est-ce que l'informatique?
Qu'est-ce que la recherche opérationnelle?
Soutenir le Département
L'historique du DIRO
Les conférences émérites
Séjour informatique
Hackathon
Offres d'emploi
Nouvelles
Activités
Colloques
Prix et distinctions
Nos diplômés
Nous joindre
Vous êtes...
Futur étudiant
Étudiant
Diplômé
Membre du personnel
Conseiller en orientation et information
Donateur
Journaliste
Employeur
Navigation secondaire
Home
La recherche
Expertises de recherche
Expert in: Formal language
Expert in: Formal language
MCKENZIE, Pierre
Professeur titulaire
Finite automata
Boolean circuit
Formal language
Logic
Computational complexity theory
Full Profile
La recherche
Expertises de recherche
Centre, groupes, chaires et laboratoires
Nos étudiants aux cycles supérieurs
Thèses et mémoires