Jacques Arsac

Jacques Arsac est un universitaire français né le Modèle:Date de naissance au Puy (en Haute-Loire) et mort le Modèle:Date de décès à Clamart<ref>État civil sur le fichier des personnes décédées en France depuis 1970</ref> (Hauts-de-Seine).

Informaticien et radioastronome, il a été professeur émérite à l’université Pierre-et-Marie-Curie, membre de l'Académie des sciences. Il est le fondateur principal des options informatiques aussi bien à l'université qu'au lycée.

Biographie

Formation

Après des études à la Chartreuse du Puy, puis au lycée du Parc à Lyon, Jacques Arsac est élève à l’École normale supérieure de la rue d'Ulm<ref name="WsW">Who's Who in France, édition 2008, Modèle:P..</ref><ref name="AS">Modèle:Harvsp.</ref>. Il est docteur ès-sciences, agrégé de l'université en physique et a obtenu un diplôme d'études approfondies (DEA) en philosophie<ref name="WsW" />.

Carrière professionnelle

Préparateur à l'ENS de 1952 à 1955, Jacques Arsac est ensuite aide-astronome puis astronome-adjoint à l'Observatoire de Meudon jusqu'en 1964<ref name="WsW"/><ref>Modèle:Ouvrage.</ref>. En 1959, il est directeur fondateur du Centre de calcul de l’Observatoire de Paris-Meudon<ref name="AS"/>.

À partir de 1965, il est professeur titulaire de la chaire de programmation nouvellement créée à la faculté des sciences de Paris<ref name="AS"/>. De 1964 à 1968, J.Arsac est membre du comité éducation de la Fédération internationale pour le traitement de l'information. Il est directeur de l'Institut de programmation de Paris, à la suite de René de Possel, de 1967 à 1971<ref>IP - Institut de Programmation sur le site du Lip6 de l'Université Paris 6.</ref>. En 1976 il est, avec Maurice Nivat, le premier directeur du LITP (Laboratoire d'Informatique Théorique et Programmation) associé au CNRS et commun aux universités Paris 6 et 7. Il est élu correspondant de l'Académie des Sciences le 28 avril 1980, dans la section des sciences mécaniques et informatiques. En 1987, il est nommé inspecteur général de l’Éducation nationale<ref name="WsW"/>. De 1987 à 1991, il est chargé de mission d’inspection générale pour l’option informatique des lycées<ref name="AS"/>.

Œuvre scientifique

Jacques Arsac, en plus de ses recherches, a particulièrement œuvré pour l'enseignement de l'informatique en France. Il est un pionnier de l’enseignement de l’informatique à tous les niveaux et ses travaux s'orientent vers la reconnaissance de l'informatique comme discipline scientifique à part entière<ref> Modèle:Chapitre. </ref>. À la même époque, Claude Pair aussi est un promoteur actif de l'informatique et fonde une école réputée à Nancy. Arsac s'intéresse notamment à la conception des programmes, à la démonstration de leur correction. Il emploie pour cela des méthodes de manipulation et de transformation de programmes qui permettent de montrer l'équivalence de programmes par la transformation de l'un dans l'autre. Ces concepts sont exposés et illustrés d'exemples dans ses nombreux livres, et aussi dans divers articles<ref name="Arsac1979">Modèle:Article</ref><ref name="ArsacKodratoff1982">Modèle:Article</ref>.Il est aussi le créateur du langage de description algorithmique EXEL.

Ouvrages

Jacques Arsac a publié de nombreux ouvrages, dont<ref name="WsW"/><ref>Jacques Arsac sur le site IdRef.</ref> :

• Modèle:Ouvrage
• Modèle:Ouvrage avec André Lentin, Maurice Nivat et Louis Nolin
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage (traduction du livre de Henry F. Ledgard)
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Preceptes pour programmer, Modèle:1er janvier 1991. Éditeur : Dunod
• Modèle:Ouvrage (prix Roberval 1994)
• Modèle:Ouvrage

Prix et distinctions

Jacques Arsac est commandeur de l'ordre national du Mérite et chevalier des Palmes académiques<ref name="WsW"/>. Il est membre de l’Académie d’éducation et d’études sociales, et membre de l’Academia Europaea

En 1980, il obtient le prix européen de la recherche en informatique; en 1986, le prix Pérouse de la Fondation de France, et le prix Roberval en 1994<ref name="WsW"/>.

Jacques Arsac est président d'honneur de l'Association des scientifiques chrétiens<ref>Site de l'Académie catholique de France pour le rayonnement du savoir et de la foi.</ref>.

Liens externes

• Modèle:Lien web sur le site de l'Académie des sciences
• Modèle:Lien web
• Modèle:Lien web
• Modèle:Lien web