Sites Inria

Version française

Latest news

Research

When digital technology invents sustainable agriculture

20/02/2015

Faced with world population growth, farmers have for several decades sought ways to improve their yield whilst also protecting the environment. The modelling of microbial ecosystems by the MODEMIC project team in Montpellier is helping to tackle this dual challenge. 

Keywords:

More

Christophe Godin and Teva Vernoux Christophe Godin and Teva Vernoux - © Inria

Publication

Modeling and biology - the story of a successful collaboration

Cyril Da - 17/12/2013

Christophe Godin, of the Inria Virtual Plants team, and Teva Vernoux, of the Laboratory of Plant Reproduction and Development (CNRS/ENS Lyon/INRA/UCBL), have conducted a project whose results cast light on the way plants form their amazing, universal arrangements of organs in spirals or in crowns. A total of 23 researchers and engineers from various disciplines contributed to this discovery, which has been published in the December issue of the journal Nature . A joint interview.

More

© Photo LIRMM

Award

Patrick Valduriez named ACM Fellow

Nathaly Mermet, Technoscope - 13/12/2012

The prestigious distinction from the Association for Computing Machinery (ACM) was recently awarded to a French national for the third time. This is a major honour for Patrick Valduriez, Senior Researcher at Inria and leader of the Zenith joint project-team with LIRMM* in Montpellier.

Keywords:

More

© Inria / Photo Kaksonen

Computer-assisted proof

A major success for computer-assisted proof

Françoise Breton - 22/11/2012

Six years after the computer-assisted proof of the four colour theorem, Georges Gonthier and his team have successfully proven the far more complex Feit-Thompson theorem, a central theorem in group theory and group classification. This is a significant step forward for mathematicians, who are increasingly utilising computer-assisted proof. Moreover, it is a success for computer science, which as a result of this endeavour has shown its ability to deploy advanced tools and techniques to codify mathematics.

Keywords:

More

Georges Gonthier, join laboratory Microsoft Research-Inria © Laboratoire commun Inria-Microsoft Research

Computer-assisted proof

"Our work diagram looked like a Napoleonic war plan!"

Françoise Breton - 22/11/2012

Six years transpired between the start of the project and the end of the proof of the Feit-Thompson theorem, which came on 20 September 2012. Following is the account of this modern-day adventure.

Interview with Georges Gonthier, Microsoft Research-Inria joint laboratory.

Keywords:

More

© Photo Bernard Lachaud

Computer-assisted proof

Mathematical proof by computer science!

Nathaly Mermet - 22/11/2012

A complete formal proof, certified by the Coq software, was announced in September by Georges Gonthier and his team at the Inria-Microsoft Research joint laboratory.

This work renders the conflict between computer science and mathematics obsolete, the common denominator being logic. Two young researchers who joined Georges Gonthier for the ride told us how much they enjoyed participating in the work and "grew" as a result of the Mathematical Components (MathComp) project. Here's what they had to say...

Keywords:

More

Pierre Alliez

European Research Council 2010

Pierre Alliez: a pioneer in digital geometry processing

Françoise Monfort -Technoscope - 18/11/2010

Pierre Alliez is a pioneer: when he began his research - following a Master's internship at Inria with Olivier Devillers and a PhD at France Telecom R&D and Telecom Paris Tech - the theme on which he was working still did not have a name. Today, with digital geometry processing now recognised as a scientific field, he is proposing IRON (Robust Geometry Processing), a project that earned him the prestigious ERC 2010 Grant in the "starting grants" category. We went to meet this researcher.

Keywords:

More

Paola Goatin

Bourse "European Research Council"

A European grant for better road traffic management

Corinne Drault - Technoscope - 18/10/2010

Inria OPALE project team member Paola Goatin has recently obtained a 2010 European Research Council grant in its "starting grants" category. Worth some €800,000, this grant will enable this young scientist to put together a team of her choosing to conduct an ambitious five-year research project on mathematical modelling in the field of road and pedestrian traffic control.

Keywords:

More

Top