Attention, suite à une faille de sécurité, les liens vers les serveurs d'exploration ont été désactivés. Des actions de régénération sont en cours et quelques serveurs sont à nouveau accessibles.
-
Claude Pair : Différence entre versions
imported>Jacques Ducloy |
imported>Jacques Ducloy (→Éléments bibliographiques) |
||
| Ligne 4 : | Ligne 4 : | ||
==Éléments bibliographiques== | ==Éléments bibliographiques== | ||
| − | Ancien élève de l'[[École normale supérieure (Ulm)|École normale supérieure]] (promotion | + | Ancien élève de l'[[École normale supérieure (Ulm)|École normale supérieure]] (promotion 1953), Claude Pair a été professeur de classe préparatoire au Lycée Henri Poincaré (Nancy). Il a passé une thèse d'État sur la notion de [[pile (informatique)|pile]] en 1965. |
ll a été président de l'[[Institut National Polytechnique de Lorraine]], premier président de [[SPECIF]] en 1985, et [[recteur d'académie|recteur]] de l'[[académie de Lille (éducation)|académie de Lille]] (1989-1993). | ll a été président de l'[[Institut National Polytechnique de Lorraine]], premier président de [[SPECIF]] en 1985, et [[recteur d'académie|recteur]] de l'[[académie de Lille (éducation)|académie de Lille]] (1989-1993). | ||
Version du 16 juin 2011 à 22:21
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 Henri Poincaré (Nancy). Il 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)
