Jacques Arsac

Jacques Arsac Biografia
Aniversário 1 ° de fevereiro de 1929
Le Puy
Morte 14 de janeiro de 2014(em 84)
Clamart
Nome de nascença Jacques Jean Arsac
Nacionalidade francês
Treinamento Escola Normal Superior da
Universidade de Paris
Atividade rádio astrônomo, cientista da computação, professor universitário
Outra informação
Membro de Academia de Ciências
Academia Europaea (1989)

Jacques Arsac é um acadêmico francês nascido em1 ° de fevereiro de 1929em Le Puy (em Haute-Loire ) e morreu em14 de janeiro de 2014em Clamart ( Hauts-de-Seine ).

Cientista da computação e rádio astrônomo , foi professor emérito da Universidade Pierre-et-Marie-Curie , membro da Academia de Ciências . Ele é o principal fundador de opções de computador na faculdade e no ensino médio.

Biografia

Treinamento

Depois de estudar no Chartreuse du Puy , depois no Lycée du Parc em Lyon , Jacques Arsac foi aluno na École normale supérieure na rue d'Ulm . Ele é Doutor em Ciências , Associate University em física e obteve um Diploma de Pós-Graduação (DEA) em Filosofia .

Carreira profissional

Preparador da ENS de 1952 a 1955, Jacques Arsac foi então astrônomo assistente e depois astrônomo assistente no Observatório de Meudon até 1964. Em 1959, ele foi diretor fundador do Centro de Computação do Observatório de Paris.

A partir de 1965, foi professor titular da recém-criada cadeira de programação da Faculdade de Ciências de Paris . De 1964 a 1968, J. Arsac foi membro do comitê de educação da Federação Internacional para o Processamento de Informações. Foi diretor do Instituto de Programação de Paris, seguindo René de Possel , de 1967 a 1971. Em 1976 foi, com Maurice Nivat , o primeiro diretor do LITP (Laboratório de Ciência da Computação Teórica e Programação) associado ao CNRS e comum ao as universidades de Paris 6 e 7. Foi eleito correspondente da Academia de Ciências em 28 de abril de 1980, na seção de ciências mecânicas e da computação. Em 1987, foi nomeado Inspetor Geral da Educação Nacional . De 1987 a 1991, foi responsável pela missão de fiscalização geral para a opção de TI de escolas de ensino médio.

Trabalho científico

Jacques Arsac, além de sua pesquisa, trabalhou principalmente para o ensino de informática na França. Ele é um pioneiro no ensino da ciência da computação em todos os níveis e seu trabalho é orientado para o reconhecimento da ciência da computação como uma disciplina científica por direito próprio. Ao mesmo tempo, Claude Pair também foi um promotor ativo de TI e fundou uma escola renomada em Nancy. A Arsac está particularmente interessada no desenho de programas e na demonstração de sua correção. Para isso, utiliza métodos de manipulação e transformação de programas que permitem mostrar a equivalência de programas pela transformação de um em outro. Esses conceitos são expostos e ilustrados com exemplos em seus vários livros, e também em vários artigos.Ele também é o criador da linguagem de descrição algorítmica EXEL .

Trabalho

Jacques Arsac publicou vários livros, incluindo:

Prêmios e reconhecimento

Jacques Arsac é Comandante da Ordem Nacional do Mérito e Cavaleiro das Palmeiras Acadêmicas . É membro da Academia de Educação e Estudos Sociais e membro da Academia Europaea

Em 1980, ele obteve o prêmio europeu de pesquisa em ciência da computação; em 1986, o prêmio Pérouse da Fondation de France e o prêmio Roberval em 1994.

Jacques Arsac é presidente honorário da Associação de Cientistas Cristãos.

Notas e referências

  1. Estado civil no arquivo de pessoas que morreram na França desde 1970
  2. Quem é Quem na França , edição de 2008, p.  140 .
  3. Biográfico esboço de Jacques Arsac (Academia das Ciências) .
  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. 249.
  5. IP - Instituto de Programação no site Lip6 da Universidade de Paris 6.
  6. Jacques Arsac, "From computers to computer science (1952-1972)" , in Philippe Chatelin (editor), Histoire de l'Informatique en France , vol.  1, Grenoble, 1988, 2 volumes: 461 + 428  p. ( ISBN  2-9502887-0-7 , leia online ) , p.  31-43.
  7. (em) Jacques J. Arsac , "  Syntactic source to source transforma and manipulation program  " , Communications of the ACM , vol.  22, n o  1,1979, p.  43–54 ( ISSN  0001-0782 , DOI  10.1145 / 359046.359057 )
  8. (em) J. Arsac e Y. Kodratoff , "  Some Techniques for Recursion Removal from Recursive Functions  " , ACM Transactions on Programming Languages ​​and Systems , vol.  4, n o  21982, p.  295-322 ( ISSN  0164-0925 , DOI  10.1145 / 357162.357171 )
  9. Jacques Arsac no site IdRef .
  10. Site da Academia Católica da França para a influência do conhecimento e da fé .

links externos