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 |
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.
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 .
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.
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 .
Jacques Arsac opublikował wiele książek, w tym:
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.