• Bachelier ès arts  (B.A.)
  Université Laval, 1967

• Bachelier ès sciences  (B.Sc.)  ?  Mathématiques
  Université Laval, 1971

• 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
    

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
  
  

• Directeur   (1983-86)
  Département de mathématiques et de statistique, Université Laval
  
  
• 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)