Inria
Inria.fr
Inria Channel
There are 7 Results with the keyword : "Mathematics"
2012 Inria Awards
2012 Inria Awards
On 14 June in Paris, the "Inria Awards" ceremony will take place for the second consecutive year. After Gérard Huet, Bruno Levy, Stéphane Donikian... who will be the 2012 prize winners? In your immediate surroundings, perhaps you know a researcher or a team of scientists whose research results, vision, action, and originality of approach contribute to advances in computer sciences and mathematics for the development of our society. Inria invites you to nominate your candidates.
Keywords:
Home > News > News from Inria > Prix Inria 2012
History of Inria
André Lichnerowicz: a reformer and a visionary
The inaugural chairman of IRIA's scientific council, this graduate of the Ecole Normale Supérieure and professor at the Collège de France was quick to understand the limitations of an institute devoted exclusively to issues associated with the Plan Calcul (the French government's plan to develop a new discipline of computer science).
Keywords:
Home > Institute > Inria in brief > The people who made Inria > André Lichnerowicz
History of Inria
Alain Bensoussan: international development of the Institute
A graduate of the Ecole Polytechnique and the ENSAE (Ecole nationale de statistique et de l’administration économique), Alain Bensoussan was the first researcher recruited by IRIA in 1967, and simultaneously pursued a career in teaching.
Keywords:
- Mathematics
- ERCIM
- Control
- Applied Mathematics
- Jacques-Louis Lions
- Development
- International relations
- Research centre
- W3C
Home > Institute > Inria in brief > The people who made Inria > Alain Bensoussan
Gérard Berry
-
© Inria Photo J.M.Ramès
History of Inria
Gérard Berry: How the world is turning digital
A graduate of the Ecole Polytechnique and the Ecole des Mines, he completed a PhD in mathematics in 1979. In 1980 he joined Inria, where much of his research work centred around the development of the Esterel language. This language is used to explain the temporal synchronisation of tasks and prove that they are correctly executed.
Keywords:
- Esterel
- Lambda calcul
- Collège de France
- Mathematics
- Digital
- Académie des sciences (French Academy of Sciences)
Home > Institute > Inria in brief > The people who made Inria > Gérard Berry
Scientific challenges
Our scientific challenges
At the Inria Rennes - Bretagne Atlantique research centre, the research, conducted in 31 project-teams, is organised around the five fields of the institute.
The centre has defined three priority scientific topics in the 2008-2012 Inria strategic plan: multimodal images and data, reliable, secure, high-performance software and very large-scale distributed systems.
Keywords:
- Thèmes de recherche
- Architecture
- Perception
- Inria
- Rennes - Bretagne Atlantique
- Scientific challenges
- ICST
- Algorithm
- Network
- Interaction
- Mathematics
Spring school
International Spring School on Formalization of Mathematics
Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library.
Place : Inria Sophia Antipolis - Méditerranée
Keywords:
Home > Centre > Saclay > Calendar > International Spring School on Formalization of Mathematics
Spring School
MAP Spring School
Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library
Place : Inria Sophia Antipolis - Méditerranée
Keywords:
- Formalization
- Coq systems
- EPI Marelle
- Mathematics
- Algorithms
- Proofs
- INRIA Sophia Antipolis - Méditerranée
Inria Research Centers
