Jacques Arsac

Jacques Arsac Biografia
Narodziny 1 st luty 1929
Le Puy
Śmierć 14 stycznia 2014(w wieku 84 lat)
Clamart
Imię urodzenia Jacques Jean Arsac
Narodowość Francuski
Trening Wyższa Szkoła Normalna
Uniwersytetu Paryskiego
Czynność radioastronom, informatyk, profesor uniwersytetu
Inne informacje
Członkiem Akademia Nauk
Academia Europaea (1989)

Jacques Arsac jest francuskim naukowcem urodzonym dnia1 st luty 1929w Le Puy (w Haute-Loire ) i zmarł14 stycznia 2014w Clamart ( Hauts-de-Seine ).

Informatyk i radioastronom , był emerytowanym profesorem na Uniwersytecie Pierre-et-Marie-Curie , członkiem Akademii Nauk . Jest głównym twórcą opcji komputerowych zarówno na studiach, jak i w liceum.

Biografia

Trening

Po studiach w Chartreuse du Puy , a następnie w Lycée du Parc w Lyonie , Jacques Arsac był studentem École normale supérieure przy rue d'Ulm . Jest doktorem nauk , Associate Uniwersytet w fizyce i uzyskał Dyplom studiów podyplomowych (DEA) w filozofii .

Profesjonalna kariera

Przygotowując się do ENS od 1952 do 1955, Jacques Arsac był wówczas asystentem astronoma, a następnie asystentem astronoma w Obserwatorium Meudon do 1964. W 1959 roku był dyrektorem założycielem Paris Observatory Computing Center Meudon.

Od 1965 był profesorem tytularnym nowo utworzonej katedry programowania na Wydziale Nauk w Paryżu . W latach 1964-1968 J. Arsac był członkiem komitetu edukacyjnego Międzynarodowej Federacji Przetwarzania Informacji. Był dyrektorem Paris Programming Institute, po René de Possel , od 1967 do 1971. W 1976 roku był wraz z Maurice Nivatem pierwszym dyrektorem LITP (Laboratorium Informatyki Teoretycznej i Programowania) związanym z CNRS i wspólnym dla uniwersytety Paryża 6 i 7. Został wybrany korespondentem Akademii Nauk 28 kwietnia 1980 r. w dziale nauk mechanicznych i informatycznych. W 1987 roku został mianowany Generalnym Inspektorem Edukacji Narodowej . W latach 1987-1991 był odpowiedzialny za ogólną misję inspekcyjną dotyczącą opcji IT w szkołach średnich.

Praca naukowa

Jacques Arsac, oprócz swoich badań, pracował przede wszystkim dla nauczania informatyki we Francji. Jest pionierem w nauczaniu informatyki na wszystkich poziomach, a jego praca jest ukierunkowana na uznanie informatyki za odrębną dyscyplinę naukową. W tym samym czasie Claude Pair był również aktywnym promotorem informatyki i założył renomowaną szkołę w Nancy. Arsac jest szczególnie zainteresowany projektowaniem programów i demonstracją ich poprawności. W tym celu wykorzystuje metody manipulacji i transformacji programów, które umożliwiają wykazanie równoważności programów poprzez przekształcenie jednego w drugi. Koncepcje te są wyeksponowane i zilustrowane przykładami w jego wielu książkach, a także w różnych artykułach, jest też twórcą algorytmicznego języka opisu EXEL .

Pracuje

Jacques Arsac opublikował wiele książek, w tym:

Nagrody i uznanie

Jacques Arsac jest Komandorem Narodowym Orderu Zasługi i Kawalerem Palm Akademickich . Jest członkiem Akademii Edukacji i Nauk Społecznych oraz członkiem Academia Europaea

W 1980 roku otrzymał Europejską Nagrodę za badania w dziedzinie informatyki; w 1986 roku nagrodę Pérouse'a od Fondation de France i nagrodę Robervala w 1994 roku.

Jacques Arsac jest honorowym prezesem Stowarzyszenia Chrześcijańskich Naukowców.

Uwagi i odniesienia

  1. Stan cywilny w aktach osób zmarłych we Francji od 1970 r
  2. będący Kim Francji , edycja 2008, str.  140 .
  3. kryjącego szkic Jacques ARSAC (PAN) .
  4. James Lequeux, Unveiled Universe: A History of Astronomy from 1910 to Today , Les Ulis, EDP ​​Sciences ,2005, 304  s. ( ISBN  2-86883-792-1 ) , str. 249.
  5. IP - Programming Institute na stronie Lip6 Uniwersytetu Paryskiego 6.
  6. Jacques Arsac, „Od komputerów do informatyki (1952-1972)” , w: Philippe Chatelin (redaktor), Histoire de l'Informatique en France , vol.  1, Grenoble, 1988, 2 tomy: 461 + 428  s. ( ISBN  2-9502887-0-7 , czytaj online ) , str.  31-43.
  7. (w) Jacques J. Arsac , "  Syntactic source to source transforms and manipulation program  " , Communications of the ACM , vol.  22, n o  1,1979, s.  43–54 ( ISSN  0001-0782 , DOI  10.1145 / 359046.359057 )
  8. (w) J. Arsac i Y. Kodratoff , "  Some Techniques for Recursion Removal from Recursive Functions  " , ACM Transactions on Programming Languages ​​and Systems , tom.  4, N O  21982, s.  295–322 ( ISSN  0164-0925 , DOI  10.1145 / 357162.357171 )
  9. Jacques Arsac na stronie IdRef .
  10. Witryna Francuskiej Akademii Katolickiej poświęcona wpływowi wiedzy i wiary .

Linki zewnętrzne