Claude Pair
Claude Pair est le directeur fondateur du Centre de recherche en informatique de Nancy[1]
Sommaire
Éléments bibliographiques
Ancien élève de l'École normale supérieure (promotion 1953), 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.
ll a été président de l'Institut National Polytechnique de Lorraine, premier président de SPECIF en 1985, et recteur de l'académie de Lille (1989-1993).
Activités en informatique
Ses recherches ont porté sur l'implantation de la récursivité dans les langages de programmation et les méthodes de construction 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 de décision de l'égalité de la présentation de deux types récursifs.
Voir aussi
Sur ce wiki
Est cité(e) en tant que personnalité dans :
- Claude Pair (2019) Nancy
- L'informatique de Claude Pair (2021) Créhange (L'informatique de Claude Pair)
- La science informatique en Lorraine (1996) Lescanne (La science informatique en Lorraine)
- TSI (2014) Créhange (L'Informatique universitaire à Nancy : un demi-siècle de développement)
Premier auteur de :
- RIRO (1970) Pair (Mille et un algorithmes pour les problèmes de cheminement dans les graphes)
Intervenant à :
Est cité par :
- Science of Computer Programming (1996) Russling (Deriving a class of layer-oriented graph algorithms)
Liens interwikis
Voir Claude Pair sur les wikis :
- Wcri/Wicri
- Wcri/Lorraine - page de référence
Notes
- ↑ Une partie de cette page a été initialisée à partir de Wikipédia
Contenu soumis à la GFDL. Source : Article Claude Pair de Wikipédia en français (auteurs)