Claude Pair
Un article de Wikipédia, l'encyclopédie libre.
Né le 21 juin 1934 à Blâmont en Meurthe-et-Moselle.
Ancien élève de l'École normale supérieure, Claude Pair a été professeur de classe préparatoire au Lycée Poincaré à Nancy, a passé une thèse d'État sur la notion de pile en 1965, puis a été directeur fondateur du Centre de Recherche en Informatique de Nancy de 1973 à 1981, président de l'Institut National Polytechnique de Lorraine, premier président de SPECIF en 1985, directeur des lycées au Ministère de l'Education Nationale (1981-1985) et recteur de l'académie de Lille (1989-1993).
Ses recherches ont porté sur l'implatation de la récursivité dans les langages de programmation et les méthodes de contruction systématique des programmes (méthode déductive) avec une visée pédagogique.
Il a participé à la définition d'Algol 68. On lui doit le premier algorithme d'égalité dans les types récursifs.