Gilles Kahn ( fr. Gilles Kahn ) - French scientist in the field of computer science. He was the scientific director and president of the State Institute of Research in Computer Science and Automation (INRIA) .
| Gilles Caen | |
|---|---|
| Gilles kahn | |
| Date of Birth | April 17, 1946 |
| Place of Birth | Paris |
| Date of death | February 9, 2006 (aged 59) |
| Place of death | Garsh |
| A country | France |
| Scientific field | Theoretical Computer Science |
| Place of work | INRIA |
| Alma mater | Polytechnic School (Paris) |
| Known as | Kahn Process Network , Proof assistant , Natural semantics |
| Awards and prizes | [d] ( 1992 ) |
He was a full member of the French Academy of Sciences and scientific director of INRIA from 1993 to May 2004, in 2004 he became president, being a specialist in programming and computer verification environments. Gilles Caen, after studying at the Polytechnic School (X1964), spent several years abroad. He was engaged in research at Stanford University (1968-1971), University of Edinburgh (1975-1976), Cambridge University (1995) together with well-known scientists. However, he never finished receiving his doctorate in computer science on the semantics of programming languages.
Hired by CEA and CISI while conducting their research activities in Roccancourt , he joined INRIA (then IRIA) in 1977 as the project manager for the development of programming environments (Mentor, Centaur). It was in that year that he gained world fame thanks to the publication of an article on the concept of parallel computing, which bears his name: “ Kahn Process Network ”.
In 1983, he participated in the creation of the research unit of INRIA Sofia-Antipolis , where at the same time he continued to conduct research work and fulfill the role of leader. In 1993, Gilles Canet joined the general management of the institute and became its scientific adviser. Since May 2004, he took over as INRIA Executive Director.
Gilles Caen was a member of many scientific companies and research organizations in France ( ONERA , BRGM , CNES , EDF , ILOG , etc.) and abroad. He was a member of the CNRS Board of Directors and the Information Technology General Council. He participated in many evaluations of international scientific organizations and in the jury of international scientific awards.
Content
The main directions of scientific research
Gilles Caen was one of the first researchers in computer science in France. In addition to the Kahn process network, he was a precursor to research in the following areas:
- in denotational semantics ;
- in the semantics of programming languages ;
- in software engineering, he introduced the Mentor and Centaur systems, which are pioneers of modern integrated development environments ;
- at the Proof assistant he proposed a natural language interface.
Compiler of a number of visionary forecasts
Attracted by order to represent national interests, he was a member of the commission for investigating the accident of the Ariana booster rocket 5 (June 4, 1996) together with Didier Lombard (1997), and in 2000 acted as a co-author of the report to the President of the Republic “On universal access to knowledge” "
Le Monde 's February 12, 2006 ( article ) publication noted that the main “topics of Gilles Caen’s basic research conducted since the early 1970s — when computer science was in its infancy — are still very relevant. His work on asynchronous distributed computing, language semantics programming and developing programming environments today inspire a lot of research in both industrial and academic fields. [...] Knowledge of the semantics of programming languages allowed him to play a decisive role in the investigation of an accident at the first launch of the Arian-5 launch vehicle in June 1996. In particular, he was able to identify software conversion errors that occurred during the launch of the European launch vehicle. "
Gilles Caen was the first computer scientist to be elected a member of the French Academy of Sciences . His former colleague and friend Bernard Lang, quoted by Le Monde, said that "Gilles Caen was more than the president of the institute. He was his soul." The Prix Gilles Kahn award was named in his honor .
See also
- Prix Gilles Kahn
Links
- "Gilles Kahn, un visionnaire" , on the INRIA website
- Biographie sur le site de l'Académie des Sciences
- La recherche et développement, clé d'un nouvel essor des télécommunications en France , rapport et propositions, de Didier Lombard et Gilles Kahn (novembre 1996 )