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 |
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.
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 .
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.
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 .
Jacques Arsac publicou vários livros, incluindo:
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.