Maître ès sciences (M.Sc.) - Mathématiques Université de Montréal, 1973 Titre du mémoire : L'insolubilité du dixième problème de Hilbert Directeur de recherche : Shuichi Takahashi
Philosophiae Doctor (Ph.D.) - Mathématiques Université de Montréal, 1976 Titre de la thèse : Décidabilité par automate fini Directeur de recherche : Shuichi Takahashi
Postes universitaires
Université Laval, Département de mathématiques et de statistique
Professeur assistant (1975-76)
Professeur adjoint (1976-80)
Professeur agrégé (1980-87)
Professeur titulaire (1987- )
Postes de professeur invité
Visiting Associate Professor (1981-82) University of Toronto, Department of Computer Science
Chercheur visiteur (1988-89) Université de Montréal, Centre de recherches mathématiques (CRM)
Chercheur visiteur (1989) Université de Nice - Sophia Antipolis, France, Laboratoire d'informatique LISAN
Président (1985-93) Comité national d'organisation du 7e Congrès international sur l'enseignement des mathématiques (ICME-7), Québec, août 1992 (3407 participants en provenance de 94 pays)
Président (1994-97) Comité du programme de la conférence du Groupe 3.1 de l'International Federation for Information Processing (IFIP) sur le thème Informatique et enseignement secondaire, Villard de Lans, octobre 1997
Président (1997-98) Groupe canadien d'étude en didactique des mathématiques (GCEDM/CMESG)
Secrétaire général (1999-2009) Commission internationale de l'enseignement mathématique (ICMI/CIEM)
Vice-président (2001-03) Société mathématique du Canada (SMC)
Président (2005-2009) Commission d'évaluation des projets de programmes (CEP) de la Conférence des recteurs et des principaux des universités du Québec (CREPUQ)