Jacques Arsac

Jacques Arsac est un universitaire français né le  au Puy (en Haute-Loire) et mort le  à Clamart (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, .</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.

 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. En 1959, il est  directeur fondateur du Centre de calcul de l’Observatoire de Paris-Meudon.

À partir de 1965, il est professeur titulaire de la chaire de programmation nouvellement créée à la faculté des sciences de Paris.  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. 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. De 1987 à 1991, il est chargé de mission d’inspection générale pour l’option informatique des lycées.

 Œ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. À 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.Il est aussi le créateur du langage de description algorithmique EXEL.

 Ouvrages 
Jacques Arsac a publié de nombreux ouvrages, dont :
 
  avec André Lentin, Maurice Nivat et Louis Nolin 
 
 
 
 
  (traduction du livre de Henry F. Ledgard)
 
 
 
 Preceptes  pour programmer,''  janvier 1991. Éditeur : Dunod
  (prix Roberval 1994)

Prix et distinctions 
Jacques Arsac est commandeur de l'ordre national du Mérite et chevalier des Palmes académiques. 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.

Jacques Arsac est président d'honneur de l'Association des scientifiques chrétiens.

Notes et références

Liens externes 

  sur le site de l'Académie des sciences
  
 
 

Naissance en février 1929
Naissance au Puy-en-Velay
Membre de l'Académie des sciences (France)
Informaticien français
Personnalité en langages de programmation
Élève de l'École normale supérieure
Membre de l'Université interdisciplinaire de Paris
Professeur à la faculté des sciences de Paris
Personnalité du catholicisme social
Décès en janvier 2014
Décès à Clamart
Décès à 84 ans
Lauréat du prix Roberval
Commandeur de l'ordre national du Mérite
Membre de l'Académie catholique de France