Jacques Arsac

Jacques Arsac Biografía
Nacimiento 1 st de febrero de 1929
Le Puy
Muerte 14 de enero de 2014(en 84)
Clamart
Nombre de nacimiento Jacques Jean Arsac
Nacionalidad francés
Capacitación Escuela Normal Superior
Universidad de París
Actividad radioastrónomo, informático, profesor universitario
Otras informaciones
Miembro de Academia de Ciencias
Academia Europaea (1989)

Jacques Arsac es un académico francés nacido el1 st de febrero de 1929en Le Puy (en Haute-Loire ) y murió el14 de enero de 2014en Clamart ( Hauts-de-Seine ).

Informático y radioastrónomo , fue profesor emérito en la Universidad Pierre-et-Marie-Curie , miembro de la Academia de Ciencias . Es el principal fundador de las opciones informáticas tanto en la universidad como en la escuela secundaria.

Biografía

Capacitación

Después de estudiar en la Chartreuse du Puy , luego en el Lycée du Parc de Lyon , Jacques Arsac fue alumno de la École normale supérieure de la rue d'Ulm . Es Doctor en Ciencias , Universidad Asociada en Física y obtuvo un Diploma de Postgrado (DEA) en Filosofía .

Carrera profesional

Preparador de la ENS de 1952 a 1955, Jacques Arsac fue entonces astrónomo asistente y luego astrónomo asistente en el Observatorio Meudon hasta 1964. En 1959, fue director fundador del Centro de Computación del Observatorio de París Meudon.

Desde 1965, fue profesor titular de la cátedra de programación recién creada en la Facultad de Ciencias de París . De 1964 a 1968, J. Arsac fue miembro del comité de educación de la Federación Internacional para el Procesamiento de Información. Fue director del Instituto de Programación de París, siguiendo a René de Possel , de 1967 a 1971. En 1976 fue, con Maurice Nivat , el primer director del LITP (Laboratorio de Programación e Informática Teórica) asociado al CNRS y común a las universidades de París 6 y 7. Fue elegido corresponsal de la Académie des Sciences el 28 de abril de 1980, en la sección de ciencias mecánicas e informáticas. En 1987 fue nombrado Inspector General de Educación Nacional . De 1987 a 1991, estuvo a cargo de la misión de inspección general para la opción informática de las escuelas secundarias.

Trabajo científico

Jacques Arsac, además de su investigación, ha trabajado especialmente para la enseñanza de la informática en Francia. Es pionero en la enseñanza de la informática a todos los niveles y su trabajo está orientado al reconocimiento de la informática como disciplina científica por derecho propio. Al mismo tiempo, Claude Pair también fue un promotor activo de TI y fundó una escuela de renombre en Nancy. Arsac está particularmente interesado en el diseño de programas y la demostración de su corrección. Para ello, utiliza métodos de manipulación y transformación de programas que permiten mostrar la equivalencia de programas mediante la transformación de uno en otro. Estos conceptos se exponen e ilustran con ejemplos en sus numerosos libros, y también en varios artículos.También es el creador del lenguaje de descripción algorítmica EXEL .

Obras

Jacques Arsac ha publicado numerosos libros, entre ellos:

Premios y reconocimientos

Jacques Arsac es Comendador de la Orden Nacional del Mérito y Caballero de las Palmas Académicas . Es miembro de la Academia de Educación y Estudios Sociales y miembro de la Academia Europaea.

En 1980 obtuvo el premio europeo de investigación en informática; en 1986, el premio Pérouse de la Fondation de France y el premio Roberval en 1994.

Jacques Arsac es presidente honorario de la Asociación de Científicos Cristianos.

Notas y referencias

  1. Estado civil en el expediente de personas fallecidas en Francia desde 1970
  2. Quién es quién en Francia , edición de 2008, p.  140 .
  3. biográfica esbozo de Jacques Arsac (Academia de Ciencias) .
  4. James Lequeux, The Unveiled Universe: A History of Astronomy from 1910 to Today , Les Ulis, EDP ​​Sciences ,2005, 304  p. ( ISBN  2-86883-792-1 ) , pág. 249.
  5. IP - Instituto de programación en el sitio Lip6 de la Universidad de París 6.
  6. Jacques Arsac, "De las computadoras a la informática (1952-1972)" , en Philippe Chatelin (editor), Histoire de l'Informatique en France , vol.  1, Grenoble, 1988, 2 volúmenes: 461 + 428  p. ( ISBN  2-9502887-0-7 , leer en línea ) , pág.  31-43.
  7. (in) Jacques J. Arsac , "  Programa de transformación y manipulación de fuente sintáctica a fuente  " , Comunicaciones del ACM , vol.  22, n o  1,1979, p.  43–54 ( ISSN  0001-0782 , DOI  10.1145 / 359046.359057 )
  8. (en) J. Arsac y Y. Kodratoff , "  Algunas técnicas para la eliminación de la recursividad de funciones recursivas  " , Transacciones ACM en lenguajes y sistemas de programación , vol.  4, n o  2mil novecientos ochenta y dos, p.  295–322 ( ISSN  0164-0925 , DOI  10.1145 / 357162.357171 )
  9. Jacques Arsac en el sitio IdRef .
  10. Sitio de la Academia Católica de Francia por la influencia del conocimiento y la fe .

enlaces externos