There are 2 Results with the keyword : "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
Aline Carneiro Viana, research scientist - © Inria Saclay - Île-de-France
The career of a researcher
The third "Semaine des Mathématiques" (Mathematics Week), from 17 to 22 March 2014, focuses on "Mathematics at the crossroads of cultures". This gives us the chance to look back at the career of Aline Carneiro Viana. Aline was born in Brazil. This trilingual Inria employee embodies a living, creative science open to the world. Let's meet her.
Inria Research Centers
- Saclay (2)